A Novel Framework for Protocol Analysis

DOI10.1007/978-3-642-24316-5_24zbMath1298.94087OpenAlexW2121083524MaRDI QIDQ3092371

George Petrides, Kristian Gjøsteen, Asgeir Steine

Publication date: 16 September 2011

Published in: Provable Security (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-24316-5_24

zbMATH Keywords

universal composabilityProtocol security

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25)

Cites Work

• Foundations of Cryptography

This page was built for publication: A Novel Framework for Protocol Analysis