The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/41570
Record Status Checked
Record Id 41570
Title A static analysis of cryptographic processes: the denotational approach
Abstract This paper presents a non-uniform static analysis for detecting the term-substitution property in infinite cryptographic processes specified by the language of the spi calculus. The analysis is fully compositional following the denotational approach throughout. This renders the implementation of the analysis straightforward in functional programming. The results are then used to detect certain security breaches, like information leakage and authenticity breaches. As an example of its applicability, we apply the analysis to the SPLICE/AS protocol and the FTP server.
Organisation CCLRC
Keywords Engineering , static analys , cryptography , process algebra , denotational semantics
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Journal Article Journal of Logic and Algebraic Programming 64, no. 2 (2004): 285-320. doi:10.1016/j.jlap.2004.09.006 2004