Secure audit logs to support computer forensics
ACM Transactions on Information and System Security (TISSEC)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Météor: A Successful Application of B in a Large Project
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
A formal approach to property testing in causally consistent distributed traces
Formal Aspects of Computing
Audit-based compliance control
International Journal of Information Security
Toward Models for Forensic Analysis
SADFE '07 Proceedings of the Second International Workshop on Systematic Approaches to Digital Forensic Engineering
Forensic analysis of logs: Modeling and verification
Knowledge-Based Systems
Artificial Intelligence and Law
Cognitive-Maps Based Investigation of Digital Security Incidents
SADFE '08 Proceedings of the 2008 Third International Workshop on Systematic Approaches to Digital Forensic Engineering
Finding the Evidence in Tamper-Evident Logs
SADFE '08 Proceedings of the 2008 Third International Workshop on Systematic Approaches to Digital Forensic Engineering
Run-Time Monitoring of Electronic Contracts
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
CLAN: A Tool for Contract Analysis and Conflict Discovery
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Service-Level Agreements for Electronic Services
IEEE Transactions on Software Engineering
Liability in software engineering: overview of the LISE approach and illustration on a case study
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Designing Log Architectures for Legal Evidence
SEFM '10 Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods
Using b as a high level programming language in an industrial project: roissy VAL
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
IEEE Security and Privacy
Liability issues in software engineering: the use of formal methods to reduce legal uncertainties
Communications of the ACM
Formal methods as a link between software code and legal rules
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
| Hi-index | 0.02 |
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.