scientific article; zbMATH DE number 1882021

zbMath1007.68993MaRDI QIDQ4797389

Mike Bond

Publication date: 3 April 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Related Items (5)

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 ⋮ Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives ⋮ An Introduction to Security API Analysis ⋮ A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case

This page was built for publication: