10.3969/j.issn.2095-6835.2010.06.006
基于带标记串空间模型的安全协议分析
在串空间理论基础上引入了标记模型,扩展了串空间理论,实现了具有类型缺陷的安全协议的分析,本文以RPC协议作为实例,证明改进后的RPC协议,能抵御类型攻击.
串空间、安全协议、类型缺陷
26
TP309(计算技术、计算机技术)
基金申请人:龙士工;项目名称:基于时序逻辑的安全协议Petri网分析与模型检验的研究与实现;基金颁发部门:贵州省科学技术基金委黔科合J字[2008]2117
2014-07-08(万方平台首次上网日期,不代表论文的发表时间)
共3页
14-16