Affordable Access

Publisher Website

A Denotational Approach to the Static Analysis of Cryptographic Processes

Authors
Journal
Electronic Notes in Theoretical Computer Science
1571-0661
Publisher
Elsevier
Publication Date
Volume
118
Identifiers
DOI: 10.1016/j.entcs.2004.12.016
Keywords
  • Static Analysis
  • Cryptographic Protocols
  • Denotational Semantics
Disciplines
  • Computer Science

Abstract

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.

There are no comments yet on this publication. Be the first to share your thoughts.