Skip to content

A static analysis of PKI-based systems

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

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
CountryItaly
CitySiena
Period12/10/0514/10/05

Related information

Relations Get citation (various referencing formats)

ID: 11458776