一种新的安全协议形式化验证方法

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户：iam156

【摘要】

：

形式化方法能有效检验安全协议的安全性,BAN类逻辑的发展极大地促进了这一领域的研究,但是现有的BAN类逻辑仍然存在许多问题.在分析现有BAN类逻辑的基础上,提出一种新的安全

【作者】

：

侯峻峰张磊黄连生

【机构】

：

清华大学计算机科学与技术系网络技术研究所

【出处】

：

计算机研究与发展

【发表日期】

：

2004年8期

【关键词】

：

安全协议形式化验证 BAN类逻辑自动验证 security protocols formal verification BAN-like logics au

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

形式化方法能有效检验安全协议的安全性,BAN类逻辑的发展极大地促进了这一领域的研究,但是现有的BAN类逻辑仍然存在许多问题.在分析现有BAN类逻辑的基础上,提出一种新的安全协议形式化验证方法,实现现有BAN类逻辑的验证功能,并使安全协议验证工作简单可行,便于实现机器自动验证.为安全协议形式化验证提供了一种新的途径.

其他文献

研究玉米种植中病虫防治的技术

榕江县玉米种植中，病虫危害仍是我县玉米生产的主要限制因素。当前，玉米病害的发生种类逐年演变，大、小斑病很少流行，而茎腐病、灰斑病、粗缩病、弯孢菌叶斑病、纹枯病等发生普遍

期刊

玉米病害虫害发生现状防治措施

洛克的纪律教育思想及其现代教育价值

有关纪律教育问题自古就被认为是教育过程中至关重要的环节,洛克从培养绅士教育的理论出发,认为只有纪律教育顺利实施并达到预期的效果,才能保证教学理论和教学原则的顺利开

期刊

洛克纪律教育教育价值

实施《体育合格标准》应加强体育师资队伍建设

国家教育委员会颁布《中学生体育合格标准》,是适应教育“面向现代化、面向世界、面向未来”的需要,全面贯彻党的教育方针,提高全民族体质所采取的一项重大措施。根据当前中

期刊

合格标准国家教育委员会专业训练高等体育院校教育行政中心小学思想教育业务能力以老带新专修班

Study of Irradiation Effects in Garnet Irradiated by High Energy Ar Ion

Ｓｔｕｄｙ　ｏｆ　Ｉｒｒａｄｉａｔｉｏｎ　Ｅｆｆｅｃｔｓ　ｉｎ　Ｇａｒｎｅｔ　Ｉｒｒａｄｉａｔｅｄ　ｂｙ　Ｈｉｇｈ　Ｅｎｅｒｇｙ　Ａｒ　ＩｏｎＳｔｕｄｙｏｆＩｒｒａｄｉａｔｉｏｎＥｆｆｅｃｔｓｉｎＧａｒｎｅｔＩｒｒａｄｉａｔｅｄｂｙＨｉｇｈＥｎｅｒｇ...

期刊

Measurements of Multiply Charged Ti Atomic Spectrum

<正> The measurements were performed at the HI-13 tandem accelerator at the China Institute of Atomic Energy. Multiply charged Ti ions were accelerated to 80 Me

期刊

高电离态原子光谱学钛原子光谱光谱测量离子流激发光谱

Increment of Radiosensitivity of Hepatoma Carcinoma Cell （SMMC-7721） by Heavy Ion Beam Irradiation

期刊

辐射敏感度肝细胞瘤重离子束放射氧化氮

基于公路边坡支护工程施工技术的探讨

本文就某公路的实际情况，进行边坡支护处理，结合公路边坡处理前的情况、根据勘察材料，选择了最佳的处理方案，同时详细的介绍了施工方法，可供同行借鉴。

期刊

公路边坡支护方案处理方法

基于失效模式与后果分析的混合燃料发动机风险分析

针对发动机在使用混合燃料过程中存在的潜在失效模式和故障风险,尝试以改进失效模式与后果分析(FMEA)模型展开风险分析.基于模糊集理论、灰色关联分析和决策试验与评价实验室

期刊