@inproceedings{6599a66bf83e44e1bc6606897df30d25,
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.",
author = "Benjamin Aziz and David Gray and Geoff Hamilton",
year = "2005",
month = dec,
day = "1",
doi = "10.1007/11560586_6",
language = "English",
isbn = "3540291067",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "51--65",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
note = "9th Italian Conference on Theoretical Computer Science, ICTCS 2005 ; Conference date: 12-10-2005 Through 14-10-2005",
}