Formally Specifying Operational Semantics and Language Constructs of Forensic Lucid.

@inproceedings{Mokhov2008FormallySO,
  title={Formally Specifying Operational Semantics and Language Constructs of Forensic Lucid.},
  author={Serguei A. Mokhov and Joey Paquet and Mourad Debbabi},
  booktitle={IMF},
  year={2008}
}

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 17 CITATIONS

Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions

  • 2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications
  • 2008
VIEW 7 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Network malware classification comparison using DPI and flow packet headers

  • Journal of Computer Virology and Hacking Techniques
  • 2015
VIEW 2 EXCERPTS
CITES METHODS & BACKGROUND

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 2 EXCERPTS
CITES BACKGROUND

Similar Papers

Loading similar papers…