A Formal Logic for Digital Investigations: A Case Study using BPB modifications.

Published in: WDFIA (2011)

Keyphrases

formal logic
predicate logic
digital forensics
case study
artificial intelligence
description logics
formal methods
object oriented
logic programming
design theory
logic programs