ePubs
The open archive for STFC research publications
Home
About ePubs
Content Policies
News
Help
Privacy/Cookies
Suggest an Enhancement
Contact ePubs
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
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):
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
Showing record 1 of 1
Recent Additions
Browse Organisations
Browse Journals/Series
Login to add & manage publications and access information for OA publishing
Username:
Password:
Useful Links
Chadwick & RAL Libraries
SHERPA FACT
SHERPA RoMEO
SHERPA JULIET
Google Scholar