Title :
Opacity: A Theoretical Technique for Digital Investigation
Author :
Rekhis, Slim ; Boudriga, Noureddine
Author_Institution :
C&NS Res. Lab., 7th of November Univ., Carthage
Abstract :
We present in this paper a novel approach that integrates opacity theory to digital forensic investigation. Our approach adds multi-observability and new classes of properties to opacity. It shows the appropriateness of using opacity in proving evidences related to hacking activities and characterizes what is provable. A temporal logic of security action and a case study are developed for integration needs
Keywords :
computer crime; temporal logic; digital forensic investigation; hacking activities; opacity theory; security action; temporal logic; Application software; Computer crime; Computer security; Digital forensics; Formal verification; Interference; Logic; Petri nets; Protocols; Specification languages;
Conference_Titel :
Information and Communication Technologies, 2006. ICTTA '06. 2nd
Conference_Location :
Damascus
Print_ISBN :
0-7803-9521-2
DOI :
10.1109/ICTTA.2006.1684942
