scientific article; zbMATH DE number 4191559

MaRDI QIDQ3211248zbMATHFDO

Authors Marie-Jeanne Toussaint, Pierre Wolper

Publication date 1991

zbMATH Keywords

securitycryptographic protocolscryptographic systemHidden automorphism model

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 697830
• scientific article; zbMATH DE number 3965967
• scientific article; zbMATH DE number 2042808
• Probabilistic annotations for protocol models. Dedicated to Joshua Guttman
• Publication:4938617

Cited in

(13)

• Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols
• scientific article; zbMATH DE number 2042808 (Why is no real title available?)
• On using probabilistic Turing machines to model participants in cryptographic protocols
• LACPV'2001. Logical aspects of cryptographic protocol verification. Proceedings of the 1st workshop (a satellite workshop of CAV'01), Paris, France, July 23, 2001.
• Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols
• Practical Formal Methods for Real World Cryptography (Invited Talk)
• scientific article; zbMATH DE number 697830 (Why is no real title available?)
• Probabilistic annotations for protocol models. Dedicated to Joshua Guttman
• Programming Languages and Systems
• A Testing Theory for a Higher-Order Cryptographic Language
• Cryptographic Protocol Explication and End-Point Projection
• scientific article; zbMATH DE number 2043527 (Why is no real title available?)
• scientific article; zbMATH DE number 3965967 (Why is no real title available?)

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 Q3211248)