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

Citation Author(s):
Anyi
Liu
Oakland University
Submitted by:
Anyi Liu
Last updated:
Wed, 01/16/2019 - 10:22
DOI:
10.21227/dga0-3z47
Data Format:
License:
68 Views
Categories:
Keywords:
0
0 ratings - Please login to submit your rating.

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.