Login | Register

Towards a Self-Forensics Property in the ASSL Toolset

Title:

Towards a Self-Forensics Property in the ASSL Toolset

Mokhov, Serguei A., Vassev, Emil, Paquet, Joey and Debbabi, Mourad (2010) Towards a Self-Forensics Property in the ASSL Toolset. In: C3S2E 2010, May 19-21, 2010, Montreal, QC, Canada.

This is the latest version of this item.

[thumbnail of Camera-ready submitted to ACM]
Preview
Text (Camera-ready submitted to ACM) (application/pdf)
self-forensics-assl-c3s2e10-cr.pdf - Submitted Version
541kB
[thumbnail of Poster]
Preview
Text (Poster) (application/pdf)
self-forensics-assl-poster-36x24.pdf - Supplemental Material
1MB

Official URL: http://dx.doi.org/10.1145/1822327.1822342

Abstract

This preliminary conceptual work discusses a notion of self-forensics as an autonomic property to augment the Autonomic System Specification Language (ASSL) framework of formal specification tools for autonomic systems. The core of the proposed methodology leverages existing designs, theoretical results, and implementing systems to enable rapid completion of and validation of the experiments and their the results initiated in this work. Specifically, we leverage the ASSL toolkit to add the self-forensics autonomic property (SFAP) to enable generation of the Java-based Object-Oriented Intensional Programming (JOOIP) language code laced with traces of Forensic Lucid to encode contextual forensic evidence and other expressions.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering
Concordia University > Gina Cody School of Engineering and Computer Science > Concordia Institute for Information Systems Engineering
Concordia University > Research Units > Computer Security Laboratory
Item Type:Conference or Workshop Item (Poster)
Refereed:Yes
Authors:Mokhov, Serguei A. and Vassev, Emil and Paquet, Joey and Debbabi, Mourad
Date:May 2010
Projects:
  • Forensic Lucid
  • Self-Forensics
  • General Intensional Programming System (GIPSY)
Digital Object Identifier (DOI):10.1145/1822327.1822342
Keywords:self-forensics, Forensic Lucid, JOOIP, ASSL, forensic computing, autonomic computing, GIPSY
ID Code:973846
Deposited By: Serguei Mokhov
Deposited On:17 Apr 2012 20:17
Last Modified:18 Jan 2018 17:37

References:

[1] D. Agrawal et al. Autonomic computing expressing language. Technical report, IBM Corporation, 2005.

[2] AspectJ Contributors. AspectJ: Crosscutting Objects for Better Modularity. eclipse.org, 2007. http://www.eclipse.org/aspectj/.

[3] R. Haenni, J. Kohlas, and N. Lehmann. Probabilistic argumentation systems. Technical report, Institute of Informatics, University of Fribourg, Fribourg, Switzerland, Oct. 1999.

[4] B. Han, S. A. Mokhov, and J. Paquet. Advances in the design and implementation of a multi-tier architecture in the GIPSY environment with Java. In Proceedings of SERA 2010. IEEE Computer Society, 2010. To appear; online at http://arxiv.org/abs/0906.4837.

[5] M. G. Hinchey, J. L. Rash, W. Truszkowski, C. Rouff, and R. Sterritt. Autonomous and autonomic swarms. In Software Engineering Research and Practice, pages 36-44. CSREA Press, 2005.

[6] P. Horn. Autonomic computing: IBM's perspective on the state of information technology. Technical report, IBM T. J. Watson Laboratory, Oct. 2001.

[7] IBM Corporation. An architectural blueprint for autonomic computing. Technical report, IBM Corporation, 2006.

[8] IBM Tivoli. Autonomic computing policy language. Technical report, IBM Corporation, 2005.

[9] J. O. Kephart and D. M. Chess. The vision of autonomic computing. IEEE Computer, 36(1):41-50, 2003.

[10] S. A. Mokhov. Encoding forensic multimedia evidence from MARF applications as Forensic Lucid expressions. In T. Sobh, K. Elleithy, and A. Mahmood, editors, Novel Algorithms and Techniques in Telecommunications and Networking, proceedings of CISSE'08, pages 413{416, University of Bridgeport, CT, USA, Dec. 2008. Springer. Printed in January 2010.

[11] S. A. Mokhov. Enhancing the formal cyberforensic approach with observation modeling with credibility factors and mathematical theory of evidence. [online], also in ;login: vol. 34, no. 6, p. 101, Dec. 2009. Presented at WIPS at USENIX Security'09, http://www.usenix.org/events/sec09/wips.html.

[12] S. A. Mokhov. The role of self-forensics modeling for vehicle crash investigations and event reconstruction simulation. In Proceedings of HSC'09. SCS, Oct. 2009. To appear, online at http://arxiv.org/abs/0905.2449.

[13] S. A. Mokhov. Towards improving validation, verification, crash investigations, and event reconstruction of Flight-critical systems with self-forensics. [online], June 2009. A white paper submitted in response to NASA's RFI NNH09ZEA001L, http://arxiv.org/abs/0906.1845.

[14] S. A. Mokhov and J. Paquet. Formally specifying and proving operational aspects of Forensic Lucid in Isabelle. Technical Report 2008-1-Ait Mohamed, Department of Electrical and Computer Engineering, Concordia University, Montreal, Canada, Aug. 2008. In Theorem Proving in Higher Order Logics (TPHOLs2008): Emerging Trends Proceedings.

[15] S. A. Mokhov and J. Paquet. Using the General Intensional Programming System (GIPSY) for evaluation of higher-order intensional logic (HOIL) expressions. In Proceedings of SERA 2010. IEEE Computer Society, 2010. To appear; online at http://arxiv.org/abs/0906.3911.

[16] S. A. Mokhov, J. Paquet, and M. Debbabi. Formally specifying operational semantics and language constructs of Forensic Lucid. In O. Goebel, S. Frings, D. Gunther, J. Nedon, and D. Schadt, editors, Proceedings of the IT Incident Management and IT Forensics (IMF'08), pages 197-216, Mannheim, Germany, Sept. 2008. GI. LNI140.

[17] S. A. Mokhov, J. Paquet, and M. Debbabi. Reasoning about a simulated printer case investigation with Forensic Lucid. In Proceedings of the Huntsville Simulation Conference (HSC'09). SCS, Oct. 2009. To appear, online at http://arxiv.org/abs/0906.5181.

[18] S. A. Mokhov, J. Paquet, and M. Debbabi. Towards automated deduction in blackmail case analysis with Forensic Lucid. In Proceedings of the Huntsville Simulation Conference (HSC'09). SCS, Oct. 2009. To appear, online at http://arxiv.org/abs/0906.0049.

[19] S. A. Mokhov, J. Paquet, and X. Tong. A type system for hybrid intensional-imperative programming support in GIPSY. In Proceedings of C3S2E'09, pages 101-107, New York, NY, USA, May 2009. ACM.

[20] S. A. Mokhov and E. Vassev. Autonomic specification of self-protection for Distributed MARF with ASSL. In Proceedings of C3S2E'09, pages 175-183, New York, NY, USA, May 2009. ACM.

[21] S. A. Mokhov and E. Vassev. Self-forensics through case studies of small to medium software systems. In Proceedings of IMF'09, pages 128-141. IEEE Computer Society, Sept. 2009.

[22] R. Murch. Autonomic Computing: On Demand Series. IBM Press, Prentice Hall, 2004.

[23] G. Palmer (Editor). A road map for digital forensic research, report from the firrst digital forensic research workshop (DFRWS). Technical report, DFRWS, 2001.

[24] J. Paquet. Distributed eductive execution of hybrid intensional programs. In Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC'09), pages 218-224, Seattle, Washington, USA, July 2009. IEEE Computer Society.

[25] J. Paquet, S. A. Mokhov, and X. Tong. Design and implementation of context calculus in the GIPSY environment. In Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC), pages 1278-1283, Turku, Finland, July 2008. IEEE Computer Society.

[26] M. Parashar and S. Hariri, editors. Autonomic Computing: Concepts, Infrastructure and Applications. CRC Press, Dec. 2006.

[27] G. Shafer. The Mathematical Theory of Evidence. Princeton University Press, 1976.

[28] B. Shishkov, J. Cordeiro, and A. Ranchordas, editors. ICSOFT 2009 - Proceedings of the 4th International Conference on Software and Data Technologies, volume 1. INSTICC Press, July 2009.

[29] The PRISM Team. PRISM: a probabilistic model checker. [online], 2004-2010. http://www.prismmodelchecker.org/, last viewed June 2009.

[30] X. Tong. Design and implementation of context calculus in the GIPSY. Master's thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, Apr. 2008.

[31] W. Truszkowski, M. Hinchey, J. Rash, and C. Rouff. NASA's swarm missions: The challenge of building autonomous software. IT Professional, 6(5):47-52, 2004.

[32] E. Vassev. ASSL: Autonomic System Specification Language -- A Framework for Specification and Code Generation of Autonomic Systems. LAP Lambert Academic Publishing, Nov. 2009. ISBN: 3-838-31383-6.

[33] E. Vassev and M. Hinchey. Assl: A software engineering approach to autonomic computing. IEEE Computer, 42(6):90-93, 2009.

[34] E. Vassev and M. Hinchey. ASSL specification model for the image-processing behavior in the NASA Voyager mission. Technical report, Lero - The Irish Software Engineering Research Center, 2009.

[35] E. Vassev, M. Hinchey, and A. J. Quigley. A self-adaptive architecture for autonomic systems developed with ASSL. In Shishkov et al. [28], pages 163-168.

[36] E. Vassev, M. Hinchey, and A. J. Quigley. Towards model checking with Java PathFinder for autonomic systems specified and generated with ASSL. In Shishkov et al. [28], pages 251-256.

[37] E. Vassev, M. G. Hinchey, and J. Paquet. Towards an ASSL specification model for NASA swarm-based exploration missions. In Proceedings of the 23rd Annual ACM Symposium on Applied Computing (SAC 2008) - AC Track, pages 1652-1657. ACM, 2008.

[38] E. Vassev, H. Kuang, O. Ormandjieva, and J. Paquet. Reactive, distributed and autonomic computing aspects of AS-TRM. In J. Filipe, B. Shishkov, and M. Helfert, editors, ICSOFT (1), pages 196-202. INSTICC Press, Sept. 2006.

[39] E. Vassev and S. A. Mokhov. An ASSL-generated architecture for autonomic systems. In Proceedings of C3S2E'09, pages 121-126, New York, NY, USA, May 2009. ACM.

[40] E. Vassev and S. A. Mokhov. Self-optimization property in autonomic specification of Distributed MARF with ASSL. In B. Shishkov, J. Cordeiro, and A. Ranchordas, editors, Proceedings of ICSOFT'09, volume 1, pages 331{335, Sofia, Bulgaria, July 2009. INSTICC Press.

[41] E. Vassev and S. A. Mokhov. Towards autonomic specification of Distributed MARF with ASSL: Self-healing. In Proceedings of SERA 2010. IEEE Computer Society, 2010. To appear.

[42] E. Vassev, O. Ormandjieva, and J. Paquet. ASSL specification of reliability self-assessment in the AS-TRM. In J. Filipe, B. Shishkov, and M. Helfert, editors, ICSOFT (SE), volume SE, pages 198-206. INSTICC Press, July 2007.

[43] E. Vassev and J. Paquet. Towards autonomic GIPSY. In Proceedings of the Fifth IEEE Workshop on Engineering of Autonomic and Autonomous Systems (EASE 2008), pages 25-34. IEEE Computer Society, 2008.

[44] E. I. Vassev. Towards a Framework for Specification and Code Generation of Autonomic Systems. PhD thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2008.

[45] K. Wan. Lucx: Lucid Enriched with Context. PhD thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2006.

[46] A. Wu, J. Paquet, and S. A. Mokhov. Object-oriented intensional programming: Intensional Java/Lucid classes. In Proceedings of SERA 2010. IEEE Computer Society, 2010. To appear; online at: http://arxiv.org/abs/0909.0764.

[47] A. H. Wu. OO-IP Hybrid Language Design and a Framework Approach to the GIPC. PhD thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2009.

Available Versions of this Item

All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top