A formal framework for specifying and analyzing logs as electronic evidence.

Eduardo Mazza 1, * Marie-Laure Potet 2 Daniel Le Métayer 3, *
* Auteur correspondant
1 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
2 VERIMAG - IMAG - VERIMAG
3 LICIT - Legal Issues in Communication and Information Technologies
Inria Grenoble - Rhône-Alpes
Abstract : The issues of logging for determining liability requires to define, prior to a dispute, the logging system and the log analysis in a manner that would determine the parties liable for a predetermined misbehavior of the system. We propose a formal framework for specifying and reasoning about decentralized logs to be used in legal disputes. In addition, we study how previous results can be used in the incremental analysis of larger inputs to obtain precise or approximated results. We illustrate our approach with an example of a travel arrangement service.
Type de document :
Communication dans un congrès
13th Brazilian Symposium Formal Methods, SBMF 2010 (Revised Selected Papers), Nov 2010, Natal, Brazil. Springer, 6527, pp.194-209, 2011, LNCS. 〈10.1007/978-3-642-19829-8_13〉
Liste complète des métadonnées
https://hal.inria.fr/hal-00789668
Contributeur : Daniel Le Métayer <>
Soumis le : lundi 18 février 2013 - 15:43:10
Dernière modification le : samedi 15 décembre 2018 - 01:49:56

Identifiants

Collections

IMAG | INRIA | UGA | TDS-MACS | LIG | VERIMAG

Citation

Eduardo Mazza, Marie-Laure Potet, Daniel Le Métayer. A formal framework for specifying and analyzing logs as electronic evidence.. 13th Brazilian Symposium Formal Methods, SBMF 2010 (Revised Selected Papers), Nov 2010, Natal, Brazil. Springer, 6527, pp.194-209, 2011, LNCS. 〈10.1007/978-3-642-19829-8_13〉. 〈hal-00789668〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

196

Contact


archive-ouverte@inria.fr