A security protocol is an exchange of messages between two or more parties in which
encryption is used to provide authentication or to distribute cryptographic keys for new …

Recent technologies have cleared the way for large scale application of electronic
communication. The open and distributed nature of these communications implies that the …

A strand is a sequence of events; it represents either the execution of an action by a
legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand …

Security Properties | SpringerLink Skip to main content Advertisement SpringerLink Account
Menu Find a journal Publish with us Track your research Search Cart Book cover …

Constraint solving for bounded-process cryptographic protocol analysis Page 1 Constraint
Solving for Bounded-Process Cryptographic Protocol Analysis Jonathan Millen and Vitaly …

Abstract Model checking approaches to the analysis of security protocols have proved
remarkably successful. The basic approach is to produce a model of a small system running …

We propose a new efficient automatic verification technique, Athena, for security protocol
analysis. It uses a new efficient representation–our extension to the Strand Space Model …

The rationale of authentication has been a topic of study for about a decade and a half. First
attempts at formal analysis of authentication protocols were not using logics per se, but were …

Replay attacks on security protocols have been dis-cussed for quite some time in the
literature. However, the efforts to address these attacks have been largely incomplete …

The history of the application of formal methods to cryptographic protocol analysis spans
nearly twenty years, and recently has been showing signs of new maturity and …