Modeling Long-Term Signature Validation for Resolution of Dispute

Moez Ben Mbarka 1 Francine Krief 1 Olivier Ly 1, 2
2 Flowers - Flowing Epigenetic Robots and Systems
Inria Bordeaux - Sud-Ouest, U2IS - Unité d'Informatique et d'Ingénierie des Systèmes
Abstract : This paper considers the case where a dispute occurs between a verifier and a signer about the validity of a digital signature. In non-repudiation services such dispute may occur long after the signature creation and approval. We present a security model for digital signature validation with the notion of dispute. The first contribution of this paper is the definition of the semantics of a Resolution of Dispute Rule (RDR ) in the scope of this model. The second contribution is a calculus for reasoning about the validation of digital signatures at a particular date which may be in the past (so-called long-term signature validation). This calculus is then used to implement the RDR. The usefulness of the calculus is demonstrated through modeling Evidence Record Syntax (ERS), one of the main protocols used in practice for long-term signature validation.
Document type :
Conference papers
Liste complète des métadonnées
Contributor : Francine Krief <>
Submitted on : Friday, May 30, 2014 - 6:53:23 PM
Last modification on : Thursday, January 11, 2018 - 6:20:17 AM


  • HAL Id : hal-00998203, version 1


Moez Ben Mbarka, Francine Krief, Olivier Ly. Modeling Long-Term Signature Validation for Resolution of Dispute. Theory of Security and Applications, TOSCA'2011, Mar 2011, Saarbrücken, Germany. pp.78-97. ⟨hal-00998203⟩



Record views