A Denotational Approach to the Static Analysis of Cryptographic Processes
Research output: Contribution to journal › Conference article › peer-review
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.
|Number of pages||18|
|Journal||Electronic Notes in Theoretical Computer Science|
|Publication status||Published - 1 Feb 2005|
|Event||Proceedings of the International Workshop on Software - |
Duration: 14 Dec 2003 → 14 Dec 2003