SPIKY: A nominal calculus for modelling protocols that use PKIs

ePubs

The open archive for STFC research publications

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
Contributors	D Gray (Dublin City U.), B Aziz (University College Cork), G Hamilton (Dublin City U.)
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 PKIbased 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