Skip to content
Back to outputs

A Denotational Approach to the Static Analysis of Cryptographic Processes

Research output: Contribution to journalConference articlepeer-review

Standard

A Denotational Approach to the Static Analysis of Cryptographic Processes. / Aziz, Benjamin; Hamilton, Geoff W.; Gray, David.

In: Electronic Notes in Theoretical Computer Science, Vol. 118, 01.02.2005, p. 19-36.

Research output: Contribution to journalConference articlepeer-review

Harvard

Aziz, B, Hamilton, GW & Gray, D 2005, 'A Denotational Approach to the Static Analysis of Cryptographic Processes', Electronic Notes in Theoretical Computer Science, vol. 118, pp. 19-36. https://doi.org/10.1016/j.entcs.2004.12.016

APA

Aziz, B., Hamilton, G. W., & Gray, D. (2005). A Denotational Approach to the Static Analysis of Cryptographic Processes. Electronic Notes in Theoretical Computer Science, 118, 19-36. https://doi.org/10.1016/j.entcs.2004.12.016

Vancouver

Aziz B, Hamilton GW, Gray D. A Denotational Approach to the Static Analysis of Cryptographic Processes. Electronic Notes in Theoretical Computer Science. 2005 Feb 1;118:19-36. https://doi.org/10.1016/j.entcs.2004.12.016

Author

Aziz, Benjamin ; Hamilton, Geoff W. ; Gray, David. / A Denotational Approach to the Static Analysis of Cryptographic Processes. In: Electronic Notes in Theoretical Computer Science. 2005 ; Vol. 118. pp. 19-36.

Bibtex

@article{b785907fd1b74b679689b96bf5879973,
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.",
keywords = "Cryptographic Protocols, Denotational Semantics, Static Analysis",
author = "Benjamin Aziz and Hamilton, {Geoff W.} and David Gray",
year = "2005",
month = feb,
day = "1",
doi = "10.1016/j.entcs.2004.12.016",
language = "English",
volume = "118",
pages = "19--36",
journal = "Electronic Notes in Theoretical Computer Science",
issn = "1571-0661",
publisher = "Elsevier",
note = "Proceedings of the International Workshop on Software ; Conference date: 14-12-2003 Through 14-12-2003",

}

RIS

TY - JOUR

T1 - A Denotational Approach to the Static Analysis of Cryptographic Processes

AU - Aziz, Benjamin

AU - Hamilton, Geoff W.

AU - Gray, David

PY - 2005/2/1

Y1 - 2005/2/1

N2 - 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.

AB - 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.

KW - Cryptographic Protocols

KW - Denotational Semantics

KW - Static Analysis

UR - http://www.scopus.com/inward/record.url?scp=13544251462&partnerID=8YFLogxK

U2 - 10.1016/j.entcs.2004.12.016

DO - 10.1016/j.entcs.2004.12.016

M3 - Conference article

AN - SCOPUS:13544251462

VL - 118

SP - 19

EP - 36

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

T2 - Proceedings of the International Workshop on Software

Y2 - 14 December 2003 through 14 December 2003

ER -

ID: 11458668