Skip to Main content Skip to Navigation
Conference papers

Designing log architectures for legal evidence.

Daniel Le Métayer 1, * Eduardo Mazza 2, * Marie-Laure Potet 3 
* Corresponding author
2 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Establishing contractual liabilities in case of litigation is generally a delicate matter. It becomes even more challenging when IT systems are involved. At the core of the problem lies the issue of the evidence provided by the opposing parties. We believe that the means to constitute evidence that could be used in case of conflict should be considered from the onset of IT projects and be part of the requirements for the design of IT systems. This paper proposes criteria for acceptable log architectures depending on the features of the system and the potential claims between the parties. We establish properties guaranteed by acceptable architectures and illustrate our framework with a travel booking system.
Document type :
Conference papers
Complete list of metadata
Contributor : Daniel Le Métayer Connect in order to contact the contributor
Submitted on : Monday, February 18, 2013 - 4:18:31 PM
Last modification on : Tuesday, August 2, 2022 - 4:24:51 AM



Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet. Designing log architectures for legal evidence.. SEFM - Software Engineering and Formal Methods; 8th IEEE International Conference on, Sep 2010, Pisa, Italy. pp.156-165, ⟨10.1109/SEFM.2010.29⟩. ⟨hal-00789700⟩



Record views