An OCL-Based Formal Model for Cloud Forensics

Jian Wang; Zhen Min Tang; Xian Li Jin

doi:10.4028/www.scientific.net/AMR.989-994.1513

Paper Titles

Improved Software Cost Estimation Method Based on COCOMO Model and Linear Regression
p.1497

Research on Improved Staged Software Cost Estimation Method Based on COCOMO Model
p.1501

Analysis of Knowledge Fusion System Model Based on Ontology and Multi-Agent Theory
p.1505

Research on Classification and Encoding of Digital Cultural Relics
p.1509

An OCL-Based Formal Model for Cloud Forensics
p.1513

Research on Customers Churn Prediction Model Based on Logistic
p.1517

Site Selection of Customer Operation Center for Pull and Drag Transportation Based on the Analytic Hierarchy Process
p.1522

Research on the Layout of Integrated Freight Hub Based on Two-Stage Model
p.1526

The Optimization of Logistics and Distribution
p.1532

HomeAdvanced Materials ResearchAdvanced Materials Research Vols. 989-994An OCL-Based Formal Model for Cloud Forensics

An OCL-Based Formal Model for Cloud Forensics

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.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Advanced Materials Research (Volumes 989-994)

Pages:

1513-1516

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.989-994.1513

Citation:

Cite this paper

Online since:

July 2014

Authors:

Jian Wang*, Zhen Min Tang, Xian Li Jin

Keywords:

Cloud Computing, Digital Forensics, FODA, OCL

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

* - Corresponding Author

References

[1] K. Ruan, J. Carthy, T. Kechadi, and M. Crosbie, Cloud forensics: an overview, IFIP International Conference on Digital Forensics, vol. 7, (2011).

DOI: 10.1007/978-3-642-24212-0_3

Google Scholar

[2] Michael Donovan Köhn. Integrated Digital Forensic Process Model. Master's dissertation, University of Pretoria, Department of Computer Science, Pretoria, South Africa, November (2012).

Google Scholar

[3] Object Constraint Language[EB/OL]. http: /www. omg. org/spec/OCL/2. 0/PDF.

Google Scholar

[4] Zehui Shao, Qiufeng Ding, Xianli Jin, Guozi Sun. A Static Semantic Model for Trusted Forensics Using OCL. Future Information Technology, Lecture Notes in Electrical Engineering, Volume 276, 2014, pp.259-268.

DOI: 10.1007/978-3-642-40861-8_39

Google Scholar

[5] Kang KC, Cohen SG, Hess JA, Novak WE, Peterson AS. Feature-Oriented domain analysis (FODA) feasibility study. Technical Report, CMU/SEI-90-TR-21. Pittsburgh: Carnegie Mellon University, Software Engineering Institute, 1990. 1-52.

DOI: 10.21236/ada235785

Google Scholar

[6] Jin Xianli, Ma Huadong. A Semantic Description Model of Features for Service Composition Using OCL. Journal of Computer Research and Development, 2007, 44(12): 2112-2121.

DOI: 10.1360/crad20071218

Google Scholar