Authentication Primitives for Refining Protocol Specifications

Bodei, Chiara and Degano, Pierpaolo and Focardi, Riccardo and Priami, Corrado (2002) Authentication Primitives for Refining Protocol Specifications. UNSPECIFIED.

Download (174Kb) | Preview


    We propose a way to abstract from various specifications of authentication and to obtain idealized protocols "secure by construction". This feature enables us to prove that a cryptographic protocol is the correct implementation of the corresponding abstract protocol. Our proposal relies on the combination of two authentication primitives, proposed by the authors in to a simplified version of the spi calculus.

    Item Type: Departmental Technical Report
    Department or Research center: Information Engineering and Computer Science
    Subjects: Q Science > QA Mathematics > QA075 Electronic computers. Computer science
    Additional Information: Appeared in Proceedings of the Workshop on Issues in the Theory of Security (WITS'02) Portland, Oregon, USA, January 14-15, 2002
    Report Number: DIT-02-021
    Repository staff approval on: 04 Jul 2002

    Actions (login required)

    View Item