LACPV'2001. Logical aspects of cryptographic protocol verification. Proceedings of the 1st workshop (a satellite workshop of CAV'01), Paris, France, July 23, 2001.

MaRDI QIDQ2375745zbMATH OpenFDO

Authors

Publication date 14 June 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL http://www.sciencedirect.com/science/journal/15710661/55/1

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Data encryption (aspects in computer science) (68P25) Proceedings, conferences, collections, etc. pertaining to information and communication theory (94-06) Cryptography (94A60)

Recommendations

• scientific article; zbMATH DE number 1024091
• Computer aided verification. 13th international conference, CAV 2001, Paris, France, July 18--22, 2001. Proceedings
• Logic for verifying public-key cryptographic protocols
• A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming
• Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses
• Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols
• Workshop on verification of logic programs. Las Cruces, NM, USA, December 1, 1999
• Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
• scientific article; zbMATH DE number 4191559

This page was built for publication: LACPV'2001. Logical aspects of cryptographic protocol verification. Proceedings of the 1st workshop (a satellite workshop of CAV'01), Paris, France, July 23, 2001.

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