MoSS: modular security specifications framework

DOI10.1007/978-3-030-84252-9_2zbMath1486.94107OpenAlexW3192225151MaRDI QIDQ2128988

Amir Herzberg, Sara Wrótniak, Hemi Leibowitz, Ewa Syta

Publication date: 22 April 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-84252-9_2

zbMATH Keywords

cryptographic protocolssecurity specifications

Mathematics Subject Classification ID

Cryptography (94A60)

Related Items (1)

MoSS

Uses Software

• EasyCrypt
• GNUC
• TAMARIN
• CryptHOL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The layered games framework for specifications and analysis of security protocols
• Probabilistic encryption
• iUC: flexible universal composability made simple
• The IITM model: a simple and expressive model for universal composability
• Polynomial runtime and composability
• GNUC: a new universal composability framework
• Simplified Universal Composability Framework
• Universally Composable Authentication and Key-Exchange with Global PKI
• Constructive Cryptography – A New Paradigm for Security Definitions and Proofs
• The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs
• A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks
• Universally Composable Security
• Computer-Aided Security Proofs for the Working Cryptographer
• Theory of Cryptography
• The security of the cipher block chaining message authentication code

This page was built for publication: MoSS: modular security specifications framework