Datasets
Standard Dataset
Supplementary Material for “LiveForen: Ensuring Live Forensic Integrity in the Cloud”
- Citation Author(s):
- Submitted by:
- Anyi Liu
- Last updated:
- Wed, 01/16/2019 - 10:22
- DOI:
- 10.21227/dga0-3z47
- Data Format:
- License:
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.