搜索筛选:
搜索耗时0.0788秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[会议论文] 作者：李舟军[1]赵倩倩[1]周倜[2],
来源：第三届信息安全漏洞分析与风险评估大会 年份：2010
如何自动化验证时间敏感安全协议的安全性一直是形式化研究领域的热点和难点,如何在验证过程中简单而有效地考察由时间戳而引入的约束条件信息成为验证时间敏感协议的难点问...
相关搜索：
