10.3969/j.issn.1000-3428.2008.17.046
基于GSPM的安全协议检验工具
介绍一个基于GSPM的安全协议验证的图形化工具.验证工具以GSPM模型为基础形式化地描述了安全协议,并引进线性时序逻辑刻画了安全协议的性质,用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞.以简化的NSPK协议为例,描述了该工具如何验证安全协议,表明GSPM模型和验证算法的有效性和正确性.
线性时序逻辑、安全协议、保密性、认证性
34
TP309(计算技术、计算机技术)
国家"973"计划基金资助项目2003CB317005;国家自然科学基金资助项目60473006,60573002;博士点基金资助项目20010248033
2008-12-15(万方平台首次上网日期,不代表论文的发表时间)
共3页
130-132