Towards a self-forensics property in the ASSL toolset

@inproceedings{Mokhov2010TowardsAS,
  title={Towards a self-forensics property in the ASSL toolset},
  author={Serguei A. Mokhov and Emil Vassev and Joey Paquet and Mourad Debbabi},
  booktitle={C3S2E},
  year={2010}
}
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… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-9 OF 9 CITATIONS

On the need for data flow graph visualization of Forensic Lucid programs and encoded evidence, and their evaluation by GIPSY

  • 2011 Ninth Annual International Conference on Privacy, Security and Trust
  • 2011
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-7 OF 7 REFERENCES

Towards a Framework for Specification and Code Generation of Autonomic Systems

E. I. Vassev
  • PhD thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada,
  • 2008
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Similar Papers

Loading similar papers…