The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/41668
Record Status Checked
Record Id 41668
Title A denotational approach to the static analysis of cryptographic processes
Abstract We present in this paper, a non-uniform static analysis for detecting the term-substitution property in processes specified in the spi calculus. The property is essential in defining security breaches, like secrecy and authenticity. The analysis is fully denotational, preserving compositionality and facilitating implementations in functional programming.
Organisation CCLRC
Keywords Engineering , Security , Static Analysis , Denotational Semantics , Cryptographic Processes
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In International Workshop on Software Verification and Validation (SVV 2003), Mumbai, India, 14 Dec 2003, (2005). doi:10.1016/j.entcs.2004.12.016 2005