Formalization of digital forensic theory by using Buchi Automaton

We investigate that Buchi Automata based modeling and formalization of digital forensic theory is more suitable for Digital Forensic Analysis over the existing methods like Log based and Finite State Machine (FSM) based approaches. We propose a formal theory to make evidence of Digital Forensic more accurate, strong, satisfiable, trustable and dependable in court. We consider a specific problem of access and modification of critical data, stored in memory of, explain where the LOG based and FSM based approaches fail and propose a more robust formal model of the investigation process with Buchi Automata.