The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/41670
Record Status Checked
Record Id 41670
Title SPIKY: A nominal calculus for modelling protocols that use PKIs
Abstract 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 PKI­based security protocols and review some of their authenticity properties.
Organisation CCLRC
Keywords Engineering , PKI , Process Algebra , Security Protocols , Cryptography
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
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). http://www.univ-o…T2004/Abstracts.html sasyft04david.pdf 2004