Name
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. |
Year | DOI | Venue |
|---|---|---|
2010 | 10.1007/978-3-642-19829-8_13 | SBMF |
Keywords | Field | DocType |
log analysis,approximated result,larger input,decentralized log,incremental analysis,electronic evidence,travel arrangement service,previous result,legal dispute,formal framework | Data mining,Software engineering,Computer science,Liability,Theoretical computer science,Digital evidence,Logging | Conference |
Volume | ISSN | Citations |
6527 | 0302-9743 | 3 |
PageRank | References | Authors |
0.39 | 27 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Eduardo Mazza | 1 | 25 | 2.33 |
| Marie-Laure Potet | 2 | 190 | 21.34 |
| Daniel Le Métayer | 3 | 1111 | 121.76 |