TY  - CHAP
ED  - Bolognesi, Tommaso
ED  - Latella, Diego
PB  - Kluwer
A1  - Boreale, Michele
A1  - De Nicola, Rocco
A1  - Pugliese, Rosario
SP  - 375
T3  - IFIP Conference Proceedings
Y1  - 2000///
ID  - eprints335
EP  - 392
T2  - Formal Techniques for Distributed System Development (FORTE 2000)
SN  - 0-7923-7968-3
M1  - 183
N2  - 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. 
AV  - none
TI  - Process Algebraic Analysis of Cryptographic Protocols
UR  - http://eprints.imtlucca.it/335/
ER  -