Breaking and Fixing the Needham−Schroeder Public−Key Protocol Using FDR

Breaking and Fixing the Needham−Schroeder Public−Key Protocol Using FDR

Show other versions (1)

Xehetasun bibliografikoak
Egile nagusia:	Lowe, G
Formatua:	Conference item
Argitaratua:	Springer 1996

Antzeko izenburuak

Breaking and Fixing the Needham−Schroeder Public−Key Protocol Using FDR
nork: Lowe, G
Argitaratua: (1996)

An Attack on the Needham−Schroeder Public−Key Authentication Protocol
nork: Lowe, G
Argitaratua: (1995)

Modelling and verifying key−exchange protocols using CSP and FDR
nork: Roscoe, A
Argitaratua: (1995)

Analyzing a Library of Security Protocols using Casper and FDR
nork: Donovan, B, et al.
Argitaratua: (1999)

Recent developments in FDR
nork: Armstrong, P, et al.
Argitaratua: (2012)

Recent developments in FDR
nork: Armstrong, P, et al.
Argitaratua: (2012)

Recent developments in FDR
nork: Armstrong, P, et al.
Argitaratua: (2012)

Recent Developments in FDR
nork: Armstrong, P, et al.
Argitaratua: (2012)

Counter abstraction in the CSP/FDR setting
nork: Mazur, T, et al.
Argitaratua: (2009)

Counter Abstraction in the CSP/FDR setting
nork: Mazur, T, et al.
Argitaratua: (2007)

Parallelization of FDR
nork: Goldsmith, M, et al.
Argitaratua: (2002)

FDR into The Cloud
nork: Gibson−Robinson, T, et al.
Argitaratua: (2014)

FDR2 user manual
nork: Gardiner, P, et al.
Argitaratua: (2000)

Review of: Needham, Rodney: Reconnaissances
nork: Bowman, G
Argitaratua: (1981)

Verifying Statemate Statecharts Using CSP and FDR
nork: Roscoe, A, et al.
Argitaratua: (2006)

Low frequency control and acoustical optomising of small room using the schroeder diffuser/
nork: 266619 Morton, Chris W., et al.
Argitaratua: (1995)

Inside FDR (abstract of invited talk)
nork: Goldsmith, M
Argitaratua: (2012)

Faster FDR Counterexample Generation Using SAT−Solving
nork: Palikareva, H, et al.
Argitaratua: (2009)

Review of: Needham, Rodney: Circumstantial Deliveries
nork: Phillips, SK
Argitaratua: (1982)

Critical systems validation and verification with CSP and FDR
nork: Goldsmith, M, et al.
Argitaratua: (1999)

Compiling Statemate Statecharts into CSP and verifying them using FDR
nork: Roscoe, A
Argitaratua: (2003)

Review of: Needham, Rodney: Belief, Language and Experience
nork: Crick, M
Argitaratua: (1973)

FDR3 — A Modern Refinement Checker for CSP
nork: Gibson−Robinson, T, et al.
Argitaratua: (2014)

Boosting Event Building Performance using Infiniband FDR for the CMS Upgrade
nork: FORREST, Andrew Kevin, et al.
Argitaratua: (2021)

Verifying an infinite family of inductions simultaneously using data independence and FDR
nork: Roscoe, A, et al.
Argitaratua: (1999)

Empirical analysis and optimization of an NP−hard problem using CSP and FDR
nork: Creager, D, et al.
Argitaratua: (2007)

Web Services Security: a preliminary study using Casper and FDR
nork: Roscoe, A, et al.
Argitaratua: (2004)

Public works projects in the United States : economic development and countercyclical programs from FDR to the present
nork: Barocci, Thomas Andrew.
Argitaratua: (2009)

Urban design opportunities for the strip : ideas for Needham Stret
nork: Gray, Michael F
Argitaratua: (2013)

Review of: Needham, Rodney: Against the Tranquility of Axioms; and Exemplars
nork: Parkin, R
Argitaratua: (1986)

Changing perspectives in the history of science : essays in honour of Joseph Needham /
nork: Needham, Joseph, 1900-, et al.
Argitaratua: (1973)

Simulasi pergerakan kapal terbang berdasarkan data FDR (Flight Data Rcorder) /
nork: 448603 Siti Aida Mohd. Isa, et al.
Argitaratua: (2005)

Penggunaan Model Konstruktivisme Lima Fasa Needham Dalam Pembelajaran Sejarah
nork: Nair, Subadrah, et al.
Argitaratua: (2005)

Fix it before it breaks : a seasonal guide to home maintenance /
nork: 405117 Kennedy, Terry
Argitaratua: (2004)

Concurrent/Resettable Zero-Knowledge Protocols for NP in the Public Key Model
nork: Micali, Silvio, et al.
Argitaratua: (2023)

Harmonisation of Zika virus research protocols to address key public health concerns
nork: Van Kerkhove, M, et al.
Argitaratua: (2016)

Penilaian perisian multimedia interaktif topik gelombang berasaskan model konstruktivis Needham /
nork: 303698 Lu, Cheng Soon, et al.
Argitaratua: (2004)

Keberkesanan kaedah pembelajaran konstruktivisme model Needham terhadap pembelajaran Pendidikan Islam /
nork: 465887 Asma Nabihah Abd Rahman, et al.
Argitaratua: (2009)

Keberkesanan kaedah pembelajaran konstruktivisme model Needham terhadap pembelajaran Bahasa Melayu /
nork: 380130 Mad Rosli Saraamu, et al.
Argitaratua: (2009)

Infra-red fixed point structure of soft supersymmetry breaking mass terms
nork: Lanzagorta, M, et al.
Argitaratua: (1995)