A denotational approach to the static analysis of cryptographic processes

MaRDI QIDQ2849549zbMATH OpenFDO

Authors Benjamin Aziz, G. W. Hamilton, David Gray

Publication date 20 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104053228

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A static analysis of cryptographic processes: the denotational approach
• Reasoning about cryptographic protocols in the spi calculus
• A calculus for cryptographic protocols: The spi calculus
• Theoretical Computer Science
• A probabilistic polynomial-time calculus for analysis of cryptographic protocols (preliminary report)

Cited in

(2)

• scientific article; zbMATH DE number 1834562 (Why is no real title available?)
• A static analysis of cryptographic processes: the denotational approach

This page was built for publication: A denotational approach to the static analysis of cryptographic processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849549)