Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

16

CSFW
1999
IEEE

favoriteEmaildiscussreport

134views Security Privacy» more CSFW 1999»

Decision Procedures for the Analysis of Cryptographic Protocols by Logics of Belief

13 years 9 months ago

Decision Procedures for the Analysis of Cryptographic Protocols by Logics of Belief

Download www.csl.sri.com

Belief-logic deductions are used in the analysis of cryptographic protocols. We show a new method to decide such logics. In addition to the familiar BAN logic, it is also applicable to the more advanced versions of protocol security logics, and GNY in particular; and it employs an efficient forward-chaining algorithm the completeness and termination of which are proved. Theoretic proofs, implementation decisions and results are discussed.

David Monniaux

Real-time Traffic

CSFW 1999 | Efficient Forward-chaining Algorithm | Familiar Ban Logic | Protocol Security Logics | Security Privacy |

claim paper

Related Content

» Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists

» A Logic for Constraintbased Security Protocol Analysis

» Computing Knowledge in Security Protocols under Convergent Equational Theories

» Hierarchical combination of intruder theories

» Towards an Automatic Analysis of Web Service Security

» Trust Management in Strand Spaces A RelyGuarantee Method

» Deciding Security for Protocols with Recursive Tests

» Automating Open Bisimulation Checking for the Spi Calculus

» Specification and Analysis of RealTime Systems Using RealTime Maude

Post Info
More Details (n/a)

Added	02 Aug 2010
Updated	02 Aug 2010
Type	Conference
Year	1999
Where	CSFW
Authors	David Monniaux

Comments (0)