A static analysis of PKI-based systems

Benjamin Aziz*, David Gray, Geoff Hamilton

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages51-65
Number of pages15
DOIs
Publication statusPublished - 1 Dec 2005
Event9th Italian Conference on Theoretical Computer Science - Siena, Italy
Duration: 12 Oct 200514 Oct 2005

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3701 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference9th Italian Conference on Theoretical Computer Science
Abbreviated titleICTCS 2005
Country/TerritoryItaly
CitySiena
Period12/10/0514/10/05

Fingerprint

Dive into the research topics of 'A static analysis of PKI-based systems'. Together they form a unique fingerprint.

Cite this