Designing log architectures for legal evidence. - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Designing log architectures for legal evidence.

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩
158 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More