Logo eprints

Process Algebraic Analysis of Cryptographic Protocols

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Process Algebraic Analysis of Cryptographic Protocols. In: Formal Techniques for Distributed System Development (FORTE 2000). IFIP Conference Proceedings, 183 . Kluwer, pp. 375-392. ISBN 0-7923-7968-3 (2000)

Full text not available from this repository.


Recent approaches to the analysis of crypto-protocols build on concepts which are well-established in the field of process algebras, such as labelled transition systems (lts) and observational semantics. We outline some recent work in this direction that stems from using cryptographic versions of the pi-calculus -- most notably Abadi and Gordon's spi-calculus -- as protocol description languages. We show the impact of these approaches on a specific example, a simplified version of the Kerberos protocol.

Item Type: Book Section
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Rocco De Nicola
Date Deposited: 09 Jun 2011 09:20
Last Modified: 11 Jul 2011 14:36
URI: http://eprints.imtlucca.it/id/eprint/335

Actions (login required)

Edit Item Edit Item