A formal framework for specifying and analyzing logs as electronic evidence

DOI10.1007/978-3-642-19829-8_13MaRDI QIDQ2999322zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(1)

• Reconsidering data logging in light of digital forensics

Describes a project that uses

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)