The open archive for STFC research publications
Full Record Details
SPIKY: A nominal calculus for modelling protocols that use PKIs
D Gray (Dublin City U.)
B Aziz (University College Cork)
G Hamilton (Dublin City U.)
In this paper, we present an extension of the spi calculus that incorporates primitives for the retrieval of (un)certified public and private keys belonging to users of PKI-based systems. The extended notation also formalises the notion of process ownership by a PKI user. We also define the operational semantics of the new notation and give examples of PKIbased security protocols and review some of their authenticity properties.
Paper In Conference Proceedings
In International Workshop on Security Analysis of Systems: Formalism and Tools (SASYFT 2004), Orléans, France, 21-22 Jun 2004, (2004).
Showing record 1 of 1
Login to Add and Manage Publications
Terms & conditions
Science and Technology Facilities Council
Switchboard: 01793 442000