The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/41676
Record Status Checked
Record Id 41676
Title A static analysis of the applied Pi calculus
Abstract We present in this technical report a non-uniform static analysis for detecting the term-substitution property in systems specified in the language of the applied pi calculus. The analysis implements a denotational framework that has previously introduced analyses for the pi calculus and the spi calculus. The main novelty of this analysis is its ability to deal with systems specified in languages with non-free term algebras, like the applied pi calculus, where non-identity equations may relate different terms of the language. We demonstrate the applicability of the analysis to one famous security protocol, which uses non-identity equations, namely the Diffie-Hellman protocol.
Organisation CCLRC
Keywords Engineering , Static Analysis , Security Protocols , Pi Calculus
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Report Imperial College London Technical Reports 2006/15. 2006. http://www.doc.ic…icalreports/2006/#15 paper.pdf 2006