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:
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.