Skip to main content

3 Result(s)

within Systems and Data Security Remove this filter Serguei A. Mokhov Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Reasoning About a Simulated Printer Case Investigation with Forensic Lucid

    In this work we model the ACME (a fictitious company name) “printer case incident” and make its specification in Forensic Lucid, a Lucid- and intensional-logic-based programming language for cyberforensic anal...

    Serguei A. Mokhov, Joey Paquet, Mourad Debbabi in Digital Forensics and Cyber Crime (2012)

  2. No Access

    Chapter and Conference Paper

    Automating MAC Spoofer Evidence Gathering and Encoding for Investigations

    Following up on the previous work, we elaborate on the details of the design and implementation of the live and dead digital evidence gathering and its encoding into Forensic Lucid by the corresponding MAC Spoofe...

    Serguei A. Mokhov, Michael J. Assels, Joey Paquet… in Foundations and Practice of Security (2015)

  3. No Access

    Chapter and Conference Paper

    Efficient Constraint Verification in Service Composition Design and Execution (Short Paper)

    Most methods that have been proposed to solve the problem of web service composition only consider input and output parameters of services in order to solve the composition problem. However, there are other fa...

    Touraj Laleh, Joey Paquet, Serguei A. Mokhov… in On the Move to Meaningful Internet Systems… (2016)