A Denotational Approach to the Static Analysis of Cryptographic Processes | Zendy

Benjamin Aziz | Zendy; Geoff Hamilton | Zendy; David Gray | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Denotational Approach to the Static Analysis of Cryptographic Processes

Author(s) -

Benjamin Aziz,

Geoff Hamilton,

David Gray

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.12.016

Subject(s) - principle of compositionality , secrecy , computer science , static analysis , property (philosophy) , denotational semantics , normalisation by evaluation , denotational semantics of the actor model , domain theory , cryptography , programming language , theoretical computer science , functional programming , process calculus , semantics (computer science) , mathematics , computer security , operational semantics , discrete mathematics , philosophy , epistemology , artificial intelligence

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research