Open issues in formal methods for cryptographic protocol analysis

DOI10.1007/3-540-45116-1_3MaRDI QIDQ4330523zbMATH OpenFDO

Authors Catherine Meadows

Publication date 13 May 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2052/20520021

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99) Cryptography (94A60)

Cited in

(2)

• Study on strand space model theory
• Machine-checked security proofs of cryptographic signature schemes

This page was built for publication: Open issues in formal methods for cryptographic protocol analysis

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