论文部分内容阅读
针对现有的三方认证密钥交换协议缺乏严格安全证明的问题,研究三方密钥交换协议的安全模型。将两方认证密钥交换协议的强安全模型eCK模型推广至三方,同时考虑内部人攻击,定义强三方认证密钥交换协议安全模型,提出一个具体三方认证密钥交换协议并给出其在强安全模型中的安全性证明。
强安全三方认证密钥交换协议
【摘 要】
：
针对现有的三方认证密钥交换协议缺乏严格安全证明的问题,研究三方密钥交换协议的安全模型。将两方认证密钥交换协议的强安全模型eCK模型推广至三方,同时考虑内部人攻击,定义
【机 构】
：
上海交通大学计算机科学与工程系
【出 处】
：
计算机工程
【发表日期】
：
2010年14期
其他文献
介绍VIRE室内定位算法的原理,针对VIRE算法对边界标签定位准确度低的问题,提出边界虚拟参考标签定位算法BVIRE。该算法通过建立线性回归方程,在边界处加入边界虚拟参考标签。仿真结果表明,在不额外增加参考标签且不增大射频干扰的前提下,BVIRE算法较原算法使靠近边界处待定位标签的定位准确度得到较大提高。
农村合作金融作为农村金融体系的一个重要组成部分,在当前党和国家致力于解决“三农”问题、高度重视农村经济发展和构建社会主义和谐社会的时代背景下,对我国农村合作金融内
匿名路由协议的目的是保证移动自主网中节点在通信时不会泄露参与通信的节点身份以及通信路径不被发现,其目标可分为发送匿名、接收匿名和路由匿名。将该协议分解为3个组件,
给出一种结合Prolog逻辑智能和传统程序设计的虚拟售货员系统的设计方法。该方法基于tuProlog技术，将业务逻辑与关系型数据结合在一起的传统程序设计转变为将逻辑推理与其他非
我国改革开放的步伐正在不断前行,民营经济的发展环境越来越宽松,在最近的几十年里民营企业的发展也越来越迅速。许多民营企业在管理过程中开始注重现代企业管理制度的应用,
针对传统雷达数据分发方式未能较好地实现按需分发的问题,提出基于聚类的雷达数据按需分发技术。根据用户提交的感兴趣项目信息,采用聚类和协同过滤推荐算法挖掘出用户潜在感
时空折中算法是一种使用预计算表快速逆转单向函数的方法。在彩虹表的基础上,将时空折中算法和Word文档破解有机结合,根据Word文档的加密机制,定义破解Word文档的单向函数,设