A formal framework for specifying and analyzing logs as electronic evidence. - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

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

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.

Dates and versions

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

Identifiers

Cite

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. pp.194-209, ⟨10.1007/978-3-642-19829-8_13⟩. ⟨hal-00789668⟩
75 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More