Designing log architectures for legal evidence.

Daniel Le Métayer 1, * Eduardo Mazza 2, * Marie-Laure Potet 3
* Auteur correspondant
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.
Type de document :
Communication dans un congrès
SEFM - Software Engineering and Formal Methods; 8th IEEE International Conference on, Sep 2010, Pisa, Italy. IEEE, pp.156-165, 2010, 〈10.1109/SEFM.2010.29〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00789700
Contributeur : Daniel Le Métayer <>
Soumis le : lundi 18 février 2013 - 16:18:31
Dernière modification le : mercredi 11 avril 2018 - 01:55:24

Identifiants

Collections

Citation

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. IEEE, pp.156-165, 2010, 〈10.1109/SEFM.2010.29〉. 〈hal-00789700〉

Partager

Métriques

Consultations de la notice

177