Supplementary Material for “LiveForen: Ensuring Live Forensic Integrity in the Cloud”
收藏数据链接：
官方服务：
资源简介：
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).
提供机构：
Oakland University创建时间：
2019-01-14
