论文部分内容阅读
分析了BAN逻辑和串空间理论的特点与不足.为了弥补二者的不足,提出了一种融合两种理论的形式化分析方法.通过实例分析,证明该分析方法能够将BAN逻辑和串空间的优点互补综合,使安全协议的分析更可靠、稳定、高效.
安全协议形式化分析方法的融合性研究
【摘 要】
：
分析了BAN逻辑和串空间理论的特点与不足.为了弥补二者的不足,提出了一种融合两种理论的形式化分析方法.通过实例分析,证明该分析方法能够将BAN逻辑和串空间的优点互补综合,
【机 构】
：
淮阴师范学院计算机科学与技术学院
【出 处】
：
西北师范大学学报(自然科学版)
【发表日期】
：
2010年5期
其他文献
改革开放三十多年来，中国社会经济建设以及各项事业都取得了巨大的进步与发展。我国社会结构发生了重大变化，社会状态也更加活跃，开放性，伴随而来的问题也愈加增多，如阶层群体冲突
圆锥曲线是高中数学的重难点内容,以其为背景命制的考题常作为压轴题出现,其中存在一类结合几何知识考查学生处理综合问题能力的考题,该类考题的破解需要学生巧妙地对其中的
考虑二阶三点方程组的正解存在性,给出了在超线性或次线性条件下至少有两个正解存在的结果.
结合半脆弱水印、信息隐藏和椭圆曲线密码体制,提出了一种比较完善的安全加密协议.该协议通过直接修改MP3Stego软件包实现信息隐藏,将通信双方的重要数据隐藏于表面上毫无相
医学生物化学是临床医学生基础课程学习中举足轻重的一门学科,探索更优的教学方式是本课程组永恒的课题。本文将从翻转课堂教学模式对医学生物化学课程的主体——学生和教师
在椭圆曲线离散对数问题的难解性下,结合多代理签名和自认证签密的特点,提出了一种基于椭圆曲线的自认证多代理签密方案.新方案不仅具有密钥短、速度快、安全性高等优点,而且
随着全球化水平不断提高,经济全球化对区域经济差距的影响引起了不少学者的重视,文章梳理了国内外关于经济全球化和区域经济差距的相关文献,文章将国内外文献综合整理后分为
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
利用锥映射的拓扑度理论与上、下解方法获得了有序Banach空间中二阶常微分方程周期边值问题的多解存在性定理。