A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence

DOI10.1007/978-3-642-19829-8_13zbMath1325.68155OpenAlexW1502932156MaRDI QIDQ2999322

Marie-Laure Potet, E. Mazza, 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)

Uses Software

• Unnamed Item

Cites Work

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

This page was built for publication: A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence