A formal framework for specifying and analyzing logs as electronic evidence

DOI10.1007/978-3-642-19829-8_13zbMATH Open1325.68155OpenAlexW1502932156MaRDI QIDQ2999322FDOQ2999322

Authors: E. Mazza, Marie-Laure Potet, Daniel Le Métayer 

Publication date: 12 May 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19829-8_13

Recommendations

• Reconsidering data logging in light of digital forensics
• Time-stamped claim logic
• scientific article; zbMATH DE number 2242699
• scientific article; zbMATH DE number 7659877
• A logic of authentication

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• The B-Book
• Time, clocks, and the ordering of events in a distributed system
• Run-Time Monitoring of Electronic Contracts
• A logic for reasoning about responsibility
• A formal approach to property testing in causally consistent distributed traces

Cited In (1)

• Reconsidering data logging in light of digital forensics

Uses Software

• CLAN

This page was built for publication: A formal framework for specifying and analyzing logs as electronic evidence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2999322)