On the freedom of decryption

DOI10.1016/S0020-0190(03)00211-4zbMath1162.68436OpenAlexW2092548536MaRDI QIDQ1007641

Jonathan Millen

Publication date: 23 March 2009

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(03)00211-4

zbMATH Keywords

cryptographysecurityformal methodsstrand spaces

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

Related Items (3)

Model Checking Security Protocols ⋮ Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties ⋮ Symbolic protocol analysis in the union of disjoint intruder theories: combining decision procedures

Cites Work

• Probabilistic encryption
• Unnamed Item

This page was built for publication: On the freedom of decryption