scientific article; zbMATH DE number 1956588

MaRDI QIDQ4417933zbMATH OpenFDO

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

Mathematics Subject Classification ID

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

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

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)