Skip to main content

Datasets

Standard Dataset

Supplementary Material for “LiveForen: Ensuring Live Forensic Integrity in the Cloud”

Citation Author(s):
Anyi Liu (Oakland University)
Submitted by:
Anyi Liu
Last updated:
DOI:
10.21227/dga0-3z47
Data Format:
104 views
Categories:
Keywords:
No Ratings Yet

Abstract

We have included the code of protocol verification for ProVerif (in .pv format) and Scyther (in .spdl format) in the “Supplementary Materials” (Supplementary-Materials.pdf) of the revised manuscript. Essentially, the .pdf file of the “Supplementary Materials” includes: A. The source code for the protocol verifier Scyther (in .spdl format); and B. The source code for the protocol verifier ProVerif (in .pv format).

Instructions:

Please read the attached file.