The open archive for STFC research publications

You may experience service outages on ePubs over the coming days due to work being carried out to enhance our network infrastructure. The service should be considered at risk from 23/11 - 03/12.

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