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

DOI10.1007/S00165-008-0078-3MaRDI QIDQ931442zbMATH OpenOpenAlexFDO

Authors Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano

Publication date 25 June 2008

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-008-0078-3

zbMATH Keywords

Knowledge representationCryptographic protocolsState space exploration

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1956588
• Simulation and analysis of cryptographic protocols
• Cryptographic protocol security analysis based on bounded constructing algorithm
• Publication:4938617
• A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming

Cites work

• scientific article; zbMATH DE number 1956588 (Why is no real title available?)
• scientific article; zbMATH DE number 1927581 (Why is no real title available?)
• scientific article; zbMATH DE number 1487854 (Why is no real title available?)
• scientific article; zbMATH DE number 1754628 (Why is no real title available?)
• scientific article; zbMATH DE number 1759624 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• A calculus for cryptographic protocols: The spi calculus
• A calculus of mobile processes. I
• An NP decision procedure for protocol insecurity with XOR
• Automatic recognition of tractability in inference relations
• Introducing commutative and associative operators in cryptographic protocol analysis
• New directions in cryptography
• On the security of public key protocols
• Proof techniques for cryptographic processes
• Protocol insecurity with a finite number of sessions and composed keys is NP-complete.

Cited in

(2)

• A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming
• scientific article; zbMATH DE number 1956588 (Why is no real title available?)

Describes a project that uses

Uses Software

• Casper
• OFMC

This page was built for publication: Efficient representation of the attacker's knowledge in cryptographic protocols analysis

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