Secure Pseudonymous Channels

DOI10.1007/978-3-642-04444-1_21zbMath1481.94077OpenAlexW1541087836MaRDI QIDQ3182856

Luca Viganò, Sebastian Mödersheim

Publication date: 16 October 2009

Published in: Computer Security – ESORICS 2009 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04444-1_21

zbMATH Keywords

cryptographic channel modelideal channel modelprotocol \(P _{2}\)

Mathematics Subject Classification ID

Channel models (including quantum) in information and communication theory (94A40)

Related Items (3)

Stateful protocol composition ⋮ Secure Implementation of Asynchronous Method Calls and Futures ⋮ Distributed temporal logic for the analysis of security protocol models

This page was built for publication: Secure Pseudonymous Channels