A new knowledge representation strategy for cryptographic protocol analysis

DOI10.1007/3-540-36577-X_21MaRDI QIDQ4417933zbMATH OpenFDO

Authors Ivan Cibrario B., Luca Durante, Riccardo Sisto, Adriano Valenzano

Publication date 30 July 2003

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/2619/26190284.htm

Mathematics Subject Classification ID

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

Recommendations

• Efficient representation of the attacker's knowledge in cryptographic protocols analysis
• scientific article; zbMATH DE number 697830
• Abstracting cryptographic protocols by Prolog rules
• Three systems for cryptographic protocol analysis
• On the reachability problem in cryptographic protocols

Cited in

(1)

• Efficient representation of the attacker's knowledge in cryptographic protocols analysis

This page was built for publication: A new knowledge representation strategy for cryptographic protocol analysis

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