Publication:4797389
From MaRDI portal
zbMath1007.68993MaRDI QIDQ4797389
Publication date: 3 April 2003
94A60: Cryptography
68P25: Data encryption (aspects in computer science)
68U99: Computing methodologies and applications
Related Items
Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives, A generic security API for symmetric key management on cryptographic devices, Reducing protocol analysis with XOR to the XOR-free case in the Horn theory based approach, A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case, An Introduction to Security API Analysis