The Thousand-and-One Cryptographers

DOI10.1007/978-1-84882-912-1_12zbMath1209.68231OpenAlexW1651699920MaRDI QIDQ3163408

Carroll Morgan, Annabelle McIver

Publication date: 26 October 2010

Published in: Reflections on the Work of C.A.R. Hoare (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-84882-912-1_12

Mathematics Subject Classification ID

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

Related Items (3)

Compositional refinement in agent-based security protocols ⋮ Algorithmic probabilistic game semantics. Playing games with automata ⋮ Abstractions of non-interference security: probabilistic versus possibilistic

This page was built for publication: The Thousand-and-One Cryptographers