General finite state machine reasoning method for digital forensics

Long Chen; Guoyin Wang

doi:10.1117/12.777879

3 April 2008 General finite state machine reasoning method for digital forensics

Long Chen, Guoyin Wang

Proceedings Volume 6982, Mobile Multimedia/Image Processing, Security, and Applications 2008; 69820I (2008) https://doi.org/10.1117/12.777879
Event: SPIE Defense and Security Symposium, 2008, Orlando, Florida, United States

Abstract

Digital forensics investigator faces the challenge of reliability of forensic conclusions. Formal automatic analysis method is helpful to deal with the challenge. The finite state machine analysis method tries to determine all possible sequences of events that could have happened in a digital system during an incident. Its basic idea is to model the target system using a finite state machine and then explore its all possible states on the condition of available evidence. Timed mealy finite state machine is introduced to model the target system, and the formalization of system running process and evidence is presented to match the system running with possible source evidence automatically. Based on Gladyshev's basic reasoning method, general reasoning algorithms with multi strategies are developed to find the possible real scenarios. Case study and experimental results show that our method is feasible and adaptable to possible cases and takes a further step to practical formal reasoning for digital forensics.

Citation Download Citation

Long Chen and Guoyin Wang "General finite state machine reasoning method for digital forensics", Proc. SPIE 6982, Mobile Multimedia/Image Processing, Security, and Applications 2008, 69820I (3 April 2008); https://doi.org/10.1117/12.777879

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available