找到1个数据集

标签: 电子投票验证

过滤结果

  • vVote电子投票系统验证的CSP代码数据集

    2025年11月27日 30 142 140

    数据集概述 该数据集包含用于vVote电子投票系统模型自动化验证的机器可读CSP（通信顺序进程）代码，基于主动入侵者模型和懒惰间谍模型设计，支持对电子投票系统安全性的形式化验证分析。 文件详解 文件名称：vVOTE.csp 文件格式：.csp...
    packageimg