학술논문
Opacity: A Theoretical Technique for Digital Investigation
Document Type
Conference
Author
Source
2006 2nd International Conference on Information & Communication Technologies Information and Communication Technologies, 2006. ICTTA '06. 2nd. 2:3281-3286 2006
Subject
Language
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.