The ρ-spi Calculus at Work: Authentication Case Studies | Zendy

Riccardo Focardi | Zendy; Matteo Maffei | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

The ρ-spi Calculus at Work: Authentication Case Studies

Author(s) -

Riccardo Focardi,

Matteo Maffei

Publication year - 2004

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.02.012

Subject(s) - calculus (dental) , computer science , authentication (law) , work (physics) , pi calculus , programming language , algebra over a field , mathematics , medicine , computer security , pure mathematics , engineering , dentistry , mechanical engineering

In (10), we introduce a process calculus for describing security protocols and we propose a static and compo- sitional analysis of entity authentication. In this paper we apply such a technique on well-known shared key authentication protocols. The analysis helps clarifying the protocol logics, suggests simplifications and reveals some attacks. Moreover we discuss how our analysis scales up to multi-protocol systems.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research