Cryptology ePrint Archive: Report 2020/1040

The Modular Specifications Security Framework

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

Abstract: We present the Modular Specifications Security (MoSS) framework, where security specifications are defined with respect to a specific model predicate $\cal M$. This allows analysis of even complex schemes and protocols, e.g., PKI schemes, under well-defined adversary, communication and synchronization models, in a modular and flexible way, and allows to analyze such schemes in both simplified and realistic models. The framework facilitates reuse of definitions, and, indeed, several of the model predicates and security specifications we define, seem `generic' and reusable in analysis of other practical protocols.

Category / Keywords: foundations / provable-security

Date: received 28 Aug 2020

Contact author: leibo hemi at gmail com

Available format(s): PDF | BibTeX Citation

Version: 20200828:161344 (All versions of this report)

Short URL: ia.cr/2020/1040


[ Cryptology ePrint archive ]