A novel framework for protocol analysis

DOI10.1007/978-3-642-24316-5_24MaRDI QIDQ3092371zbMATH OpenOpenAlexFDO

Authors Kristian Gjøsteen, George Petrides, 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

Protocol securityuniversal composability

Mathematics Subject Classification ID

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

Recommendations

• Simplified universal composability framework
• Universally composable security
• GNUC: a new universal composability framework
• iUC: flexible universal composability made simple
• A universal composability framework for analysis of proxy threshold signature

Cites work

• Foundations of Cryptography

Cited in

(13)

• Specification and analysis of a composition of protocols
• Protocol analysis with time and space
• The IITM model: a simple and expressive model for universal composability
• A new ratio for protocol categorization
• Cathy Meadows: a central figure in protocol analysis
• Simplified universal composability framework
• The CL-Atse Protocol Analyser
• scientific article; zbMATH DE number 1844684 (Why is no real title available?)
• scientific article; zbMATH DE number 1857525 (Why is no real title available?)
• Universally composable security
• Computer Aided Systems Theory – EUROCAST 2005
• The Layered Games Framework for Specifications and Analysis of Security Protocols
• A universal composability framework for analysis of proxy threshold signature

This page was built for publication: A novel framework for protocol analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3092371)