Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9656005 | Electronic Notes in Theoretical Computer Science | 2005 | 18 Pages |
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Benjamin Aziz, Geoff W. Hamilton, David Gray,