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.

Warning
There is a more recent version of this item available.

[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:15118
Deposited By: Serguei Mokhov
Deposited On:02 Dec 2011 21:33
Last Modified:18 Jan 2018 17:35

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. Rou�,
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 speci�cation
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 �rst 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. Rou�.
NASA's swarm missions: The challenge of building
autonomous software. IT Professional, 6(5):47-52,
2004.

[32] E. Vassev. ASSL: Autonomic System Speci�cation
Language -- A Framework for Speci�cation 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 speci�cation 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 speci�ed and generated with ASSL. In
Shishkov et al. [28], pages 251-256.

[37] E. Vassev, M. G. Hinchey, and J. Paquet. Towards an
ASSL speci�cation 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 speci�cation of Distributed
MARF with ASSL. In B. Shishkov, J. Cordeiro, and
A. Ranchordas, editors, Proceedings of ICSOFT'09,
volume 1, pages 331{335, So�a, Bulgaria, July 2009.
INSTICC Press.

[41] E. Vassev and S. A. Mokhov. Towards autonomic
speci�cation 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
speci�cation 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 Speci�cation
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

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