scientific article; zbMATH DE number 1956588

zbMATH Open1031.94514MaRDI QIDQ4417933FDOQ4417933

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

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2619/26190284.htm

Title of this publication is not available (Why is that?)

Recommendations

• Efficient representation of the attacker's knowledge in cryptographic protocols analysis
• scientific article; zbMATH DE number 697830
• scientific article; zbMATH DE number 1832234
• Three systems for cryptographic protocol analysis
• scientific article; zbMATH DE number 1759624

Mathematics Subject Classification ID

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

Cited In (1)

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

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