基于着色petri网的安全协议验证方法
刘进,陈丹,肖德宝
华中师范大学计算机科学系,武汉430079
Analysis of security protocols usiang CP-Nets
刘进,陈丹,肖德宝
华中师范大学计算机科学系,武汉430079
摘要 设计安全协议时，协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤，验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对一个STS协议进行了分析，证明了这种方法的有效性，并根据分析结果给出了改进后的STS协议．
Abstract ：Verification is a crucial step to eliminate weaknesses and inaccuracies of efficrive security protocols. There are many models and tools to verify security protocols. This paper proposed an approach for analysis of security protocol using the CP-Nets. Analyze a STS protocol to proof this approach, and then, modify the STS protocol according to the result.
收稿日期: 2006-03-25
[1]
蔡 畅,梁 爽,李彦哲. 一类d-维齐次Moran集的分形维数
[2]
闫旭东,钱 莉. 基于全景环视图像的停车位检测算法
[3]
仇延钊,吴红艳,杭烨超,施恩希,于 露,杨丹宁,朱辉隆. 少层石墨烯纳米流体的球磨法制备及其导热性能
[4]
程靖清,李炎桂,姚华舟,钱 静,张洪岩,王明龙,蔡建斯,张婉秋,杜子纯. 基于三维地质模型的地下空间地质环境条件适宜性评价——以深圳湾超级总部基地片区为例
[5]
周之逸,樊锦绮,成金华,朱永光,徐德义,毛 羽. 中国锂资源安全综合评价及预测预警研究
[6]
田 培,刘嘉欣,曲丽莉. 土壤可蚀性研究进展与展望
[7]
李 力,陈 城,周云祥,郭越凡,田 丹,李 俊. 宜昌地基遥感垂直观测系统探测精度分析研究
[8]
乐艳玲,张梦菲,沈金花. 白花灯笼乙醇提取物对哮喘相关症状的影响及作用机理
[9]
亢诗雯,杨迎春,刘文琪,郑 昵,叶尔兰·巴合特江,杨新洲. 薄叶卷柏的化学成分研究
[10]
王同昕,杨 超,殷志祥,姚 兵. Halin图的2-距离和可区别全染色
[11]
种 田,邱紫阳. F-H-调和映照的刘维尔型定理
[12]
张慧琼,张 倩,陈红安,江 南. 阿尔茨海默病患外周血和海马区中铜/铁蛋白及核心基因的生物信息学分析
[13]
陈姿璇,潘方杰,黄 琦,王璐瑶. 乡村振兴背景下湖北省特色保护类村庄空间演化及影响机理研究
[14]
李 悦,毛政元,柯文岚. 福州市人居环境质量综合评价
[15]
王 丽,李敬文,宋 晨,常文文. 双圈图的邻点可约全标号
