Spin模型检测相关论文
远程证明是解决移动支付安全问题的有效手段之一。通过对可信计算远程证明协议进行分析,发现用户平台配置信息的隐私性、用户的认证......
针对安全协议的形式化验证问题,运用模型检测方法,以一种改进的入侵者Promela语义模型,对双方密钥分配中心协议进行Spin模型检测,......
针对科学实验载荷使用的Linux操作系统,对其测试方法等做了研究总结。模型检测作为一种全自动运行的形式化验证手段,在其适用领域......