2000 | OriginalPaper | Buchkapitel
Process Algebraic Analysis of Cryptographic Protocols
verfasst von : Michele Boreale, Rocco De Nicola, Rosario Pugliese
Erschienen in: Formal Methods for Distributed System Development
Verlag: Springer US
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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 (Its) 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.