A static analysis of PKI-based systems

ePubs

The open archive for STFC research publications

Persistent URL	http://purl.org/net/epubs/work/41620
Record Status	Checked
Record Id	41620
Title	A static analysis of PKI-based systems
Contributors	B Aziz (Imperial College London), D Gray (Dublin City U.), G Hamilton (Dublin City U.)
Abstract	This paper presents a non-uniform static analysis for SPIKY, an extension of the spi calculus with capabilities for PKI operations. The analysis, which follows a denotational framework, captures the property of term substitutions resulting from communications, cryptographic and PKI capabilities. The results of the analysis are used to formalise definitions of two security properties: the term secrecy and (un)certified peer-entity participation.
Organisation	CCLRC
Keywords	Engineering , PKI , Process Algebra , Statis Analysis
Funding Information
Related Research Object(s):
Licence Information:
Language	English (EN)

Type	Details	URI(s)	Local file(s)	Year
Paper In Conference Proceedings	In Ninth Italian Conference on Theoretical Computer Science (ICTCS 2005), Siena, Italy, 12-14 Oct 2005, (2005).	doi:10.1007/11560586_6	37010051.pdf	2005