Informal arguments that cryptographic protocols are secure can be made rigorous using
inductive definitions. The approach is based on ordinary predicate calculus and copes with …

Security protocols are one of the most critical elements in enabling the secure
communication and processing of information, ensuring its confidentiality, integrity …

The history of the application of formal methods to cryptographic protocol analysis spans
over 20 years and has been showing signs of new maturity and consolidation. Not only have …

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 …

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 …

Secure group protocols are not easy to design: this paper will show new attacks found
against a protocol suite for sharing key. The method we propose to analyse these protocols …

During the last few years, a number of authenticated group key agreement protocols have
been proposed in the literature. We observed that the efforts in this domain were mostly …

We have recently seen the development of a number of new tools for the analysis of
cryptographic protocols. Many of them are based on state exploration, that is, they try to find …

The field of protocol analysis is one area in which CSP has proven particularly successful,
and several techniques have been proposed that use CSP to reason about security …

Cryptographic protocols can be divided into (1) protocols where the protocol steps are
simple from a computational point of view and can thus be modeled by simple means, for …