The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/41620
Record Status Checked
Record Id 41620
Title A static analysis of PKI-based systems
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