CSP code for verification of vVote e-voting system
收藏Mendeley Data2026-04-18 收录
下载链接：
https://data.mendeley.com/datasets/kd6prht9h5
下载链接
链接失效反馈官方服务：
资源简介：
A machine readable Communicating Sequential Processes (CSP) code for the automated verification of vVote e-voting system model using an active intruder model, lazy spy.
一段可机器读取的通信顺序进程（Communicating Sequential Processes, CSP）代码，用于采用主动入侵者模型与惰性间谍（lazy spy）对vVote电子投票系统模型开展自动化验证。
创建时间：
2017-12-15
