An OCL-Based Formal Model for Cloud Forensics

Jian Wang,Zhen Min Tang,Xian Li Jin
DOI: https://doi.org/10.4028/www.scientific.net/amr.989-994.1513
2014-01-01
Advanced Materials Research
Abstract:Cloud Computing is gaining acceptance and increasing in popularity. However, digital forensics within Cloud becomes difficult. This paper proposes an extensible semantic model using OCL (Object Constraint Language) for cloud digital forensics data. We give a brief introduction to Trusted Digital Forensics, and then detail the modeling process using OCL and FODA (Feature Oriented Domain Analysis). Therefore, a feature tree can be built with semantic logical relation in order to get the overall semantic description of features in the forensic domain of digital data.
What problem does this paper attempt to address?