scientific article; zbMATH DE number 1962753

MaRDI QIDQ4418581zbMATH OpenFDO

Authors Andrew D. Gordon, Alan Jeffrey

Publication date 11 August 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2609/26090263.htm

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• Typing Correspondence Assertions for Communication Protocols
• Typing correspondence assertions for communication protocols
• scientific article; zbMATH DE number 1927556
• scientific article; zbMATH DE number 1832233
• Pattern-matching spi-calculus

Cited in

(6)

• Typing correspondence assertions for communication protocols
• Equivalence properties by typing in cryptographic branching protocols
• Pattern-matching spi-calculus
• Typing Correspondence Assertions for Communication Protocols
• Verification of correspondence assertions in a calculus for mobile ad hoc networks
• Process algebras as support for sustainable systems of services

This page was built for publication:

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