Login | Register

Items where Author is "Paquet, Joey"

Group by: Item Type | No Grouping
Number of items: 5.

Book Section

Mokhov, Serguei A., Paquet, Joey and Debbabi, Mourad (2010) Towards Automatic Deduction and Event Reconstruction Using Forensic Lucid and Probabilities to Encode the IDS Evidence. In: Jha, S. and Sommer, R. and Kreibich, C., (eds.) Recent Advances in Intrusion Detection. Lecture Notes in Computer Science, 6307 . Springer, pp. 508-509. ISBN 978-3-642-15511-6

Conference or Workshop Item

Mokhov, Serguei A., Paquet, Joey and Debbabi, Mourad (2011) Reasoning About a Simulated Printer Case Investigation with Forensic Lucid. In: International ICST Conference on Digital Forensics & Cyber Crime (ICDF2C), October 2011, Dublin, Ireland. (In Press)

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.

Han, Bin, Mokhov, Serguei A. and Paquet, Joey (2009) Advances in the Design and Implementation of a Multi-tier Architecture in the GIPSY Environment with Java. In: Software Engineering Research and Applications (SERA 2010), Montreal, QC, Canada.

Mokhov, Serguei A. and Paquet, Joey (2008) Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle. In: 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs) 2008, Emerging Trends Proceedings, August 2008, Montreal, QC, Canada.

This list was generated on Tue Mar 19 03:19:25 2024 EDT.
Back to top Back to top