Supplementary Material for “LiveForen: Ensuring Live Forensic Integrity in the Cloud”
收藏IEEE2019-01-14 更新2026-04-17 收录
下载链接：
https://ieee-dataport.org/documents/supplementary-material-liveforen-ensuring-live-forensic-integrity-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
