基于PI演算的反XML重写攻击安全模型验证

• 作者: 吴铮 段友祥
• 来源期刊: 微计算机应用
• 学科: 工学
• 关键词: Pi演算 SOAP XML 重写攻击 验证
• 年，卷（期）: 2008,（4）
• 所属期刊栏目: 网络与通信
• 页码范围: 39-43
• 页数: 5页
• 分类号: TN91
• 字数: 2968字
• 语种: 中文
• DOI: 10.3969/j.issn.2095-347X.2008.04.009

摘要

设计出一个安全模型后,要严格验证其是否满足安全需求是非常重要和必要的.利用形式化方法来检验模型是否满足了安全协议是一种有效的手段.本文针对XML重写攻击,设计出了一个反XML重写攻击的安全模型,然后运用Pi演算形式化方法验证了其有效性、真实性和安全性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴铮	中国石油大学计算机与通信工程学院	3	41	2.0	3.0
2	段友祥	中国石油大学计算机与通信工程学院	11	50	5.0	6.0