<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Process Algebraic Analysis of Cryptographic Protocols"^^ . "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. "^^ . "2000" . "183" . . "Kluwer"^^ . . "Kluwer"^^ . . . . . . . . . . . . . . . . . . . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . "Michele"^^ . "Boreale"^^ . "Michele Boreale"^^ . . "Diego"^^ . "Latella"^^ . "Diego Latella"^^ . . "Tommaso"^^ . "Bolognesi"^^ . "Tommaso Bolognesi"^^ . . . . . "HTML Summary of #335 \n\nProcess Algebraic Analysis of Cryptographic Protocols\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .