A denotational approach to the static analysis of cryptographic processes

zbMATH Open1272.94013MaRDI QIDQ2849549FDOQ2849549

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

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)

Mathematics Subject Classification ID

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

Cited In (2)

• A static analysis of cryptographic processes: the denotational approach
• Title not available (Why is that?)

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)