Designing log architectures for legal evidence. - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Designing log architectures for legal evidence.


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.
No file

Dates and versions

hal-00789700 , version 1 (18-02-2013)



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⟩
156 View
0 Download



Gmail Facebook X LinkedIn More