Sciweavers

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

105

FOSAD
2000
Springer

99views Security Privacy» more FOSAD 2000»

The Logic of Authentication Protocols

15 years 6 months ago

The Logic of Authentication Protocols

Download www.nrl.navy.mil

Paul F. Syverson, Iliano Cervesato

Real-time Traffic

FOSAD 2000 | Security Privacy |

claim paper

Related Content

» An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols

» Analysing Stream Authentication Protocols in Autonomous AgentBased Systems

» New Real Time Multicast Authentication Protocol

» C3PO A Tool for Automatic Sound Cryptographic Protocol Analysis

» Authenticity by tagging and typing

» A Logic for Constraintbased Security Protocol Analysis

» Provable PasswordAuthenticated Key Exchange Protocol against Imposter Attack on Ad Hoc Net...

» Analysis of EAPGPSK Authentication Protocol

» A New Logic for Electronic Commerce Protocols

Post Info
More Details (n/a)

Added	24 Aug 2010
Updated	24 Aug 2010
Type	Conference
Year	2000
Where	FOSAD
Authors	Paul F. Syverson, Iliano Cervesato

Comments (0)