Modelling and analysis of security protocols

Modelling and analysis of security protocols

Show other versions (2)

Bibliographic Details
Main Authors:	Ryan, P, Schneider, S, Goldsmith, M, Lowe, G, Roscoe, B
Format:	Book
Published:	Addison−Wesley 2001

Similar Items

Modelling and Analysis of Security Protocols
by: Ryan, P, et al.
Published: (2001)

The Modelling and Analysis of Security Protocols
by: Roscoe, A, et al.
Published: (2001)

The perfect spy for model−checking crypto−protocols
by: Roscoe, A, et al.
Published: (1997)

Proving security protocols with model checkers by data independence techniques
by: Roscoe, A, et al.
Published: (1999)

Intensional specifications of security protocols
by: Roscoe, A
Published: (1996)

How to Prevent Type Flaw Attacks on Security Protocols
by: Heather, J, et al.
Published: (2000)

How to Prevent Type Flaw Attacks on Security Protocols
by: Heather, J, et al.
Published: (2003)

Proving security protocols with model checkers by data independence techniques
by: Roscoe, A
Published: (1998)

Casper: A Compiler for the Analysis of Security Protocols
by: Lowe, G
Published: (1998)

Casper: A Compiler for the Analysis of Security Protocols
by: Lowe, G
Published: (1997)

Modelling unbounded parallel sessions of security protocols in CSP
by: Roscoe, A, et al.
Published: (2006)

On Distributed Security Transactions that Use Secure Transport Protocols
by: Broadfoot, P, et al.
Published: (2003)

Bootstrapping multi−party ad−hoc security
by: Creese, S, et al.
Published: (2006)

Towards a Completeness Result for Model Checking of Security Protocols
by: Lowe, G
Published: (1999)

Towards a Completeness Result for Model Checking of Security Protocols
by: Lowe, G
Published: (1998)

Using CSP to detect errors in the TMN protocol
by: Roscoe, A, et al.
Published: (1996)

Using CSP to Detect Errors in the TMN Protocol
by: Lowe, G, et al.
Published: (1997)

Secure Communication in Disasters
by: Chen, B, et al.
Published: (2012)

Secure Communication in Disasters
by: Chen, B, et al.
Published: (2012)

Data independent verification of crypto−protocols
by: Roscoe, A, et al.
Published: (2000)

Usability and security of out−of−bound channels in secure device pairing protocols
by: Kainda, I, et al.
Published: (2009)

On the Relationship Between Web Services Security and Traditional Protocols
by: Kleiner, E, et al.
Published: (2006)

Analysing Security Protocols using CSP
by: Lowe, G
Published: (2011)

Safe Simplifying Transformations for Security Protocols
by: Hui, M, et al.
Published: (1999)

Bootstrapping Multi−Party Ad−Hoc Security
by: Roscoe, A, et al.
Published: (2006)

The Missing Link: Human Interactive Security Protocols in Mobile Payment
by: Roscoe, R
Published: (2010)

Security properties and mechanisms in human−centric computing
by: Creese, S, et al.
Published: (2004)

Usability and security of out-of-band channels in secure device pairing protocols.
by: Kainda, R, et al.
Published: (2009)

Some new attacks upon security protocols
by: Lowe, G
Published: (1996)

Research directions for trust and security in human−centric computing
by: Roscoe, A, et al.
Published: (2004)

Fault−Preserving Simplifying Transformations for Security Protocols
by: Hui, M, et al.
Published: (2001)

On the relationship between Web Services Security and traditional protocols
by: Roscoe, A, et al.
Published: (2005)

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

Exploiting empirical engagement in authentication protocol design
by: Creese, S, et al.
Published: (2005)

Exploiting Empirical Engagement in Authentication Protocol Design
by: Creese, S, et al.
Published: (2005)

Exploiting Empirical Engagement in Authentication Protocol Design
by: Creese, S, et al.
Published: (2005)

The missing link: Human Interactive Security Protocols in mobile payment
by: Bangdao, L, et al.
Published: (2010)

The perfect ‘spy’ for model−checking cryptoprotocols
by: Roscoe, A, et al.
Published: (1997)

A semantic model for occam II
by: Roscoe, A, et al.
Published: (1991)

Internalising Agents in CSP Protocol Models
by: Roscoe, A, et al.
Published: (2002)