论文部分内容阅读
针对认证协议在受限通信网络环境中的应用和安全问题,提出一种基于椭圆曲线密码技术的认证协议,使用对称密码为协议中的交互信息提供机密性,在协议最后生成参与者共享的会话密钥。采用扩展的SVO逻辑对推荐协议进行形式化分析,结果证明该协议的安全性符合要求。
适应受限环境的认证协议及其SVO逻辑分析
【摘 要】
：
针对认证协议在受限通信网络环境中的应用和安全问题,提出一种基于椭圆曲线密码技术的认证协议,使用对称密码为协议中的交互信息提供机密性,在协议最后生成参与者共享的会话
【机 构】
：
山东工商学院计算机科学与技术学院
【出 处】
：
计算机工程
【发表日期】
：
2009年20期
其他文献
今年以来，短短五十多天的时间里，新兴市场国家对中国发起了14起贸易调查或制裁其中．南非、印度、巴西等金砖国家对中国发起了9起贸易调查或争端，阿根廷、墨西哥、印尼等新兴市场
概述了桨扇发动机的研制和发展现状,介绍了桨扇发动机的结构性能特点以及桨扇发动机相较于涡桨发动机和涡扇发动机的技术优势;对桨扇发动机的发展历史进行了较为详细的阐述和
目前设计洪水地区组成计算方法都是以特定的地区组成情况来概括所有可能出现各种洪水组合,缺乏理论基础,计算结果差异较大,误差很难评估。本文采用各分区洪水的联合概率密度
实施＂成长记录单＂能拓展学生档案范围、扩大学生档案功能、使学生档案更加真实和完整,对此,本文提出要持之以恒,坚持收集的准确性;不断完善＂成长记录单＂综合评价方式;坚持大教育
每个老师都知道：语文教学是各个学科的基础,语文教学是科学与艺术的结合,语文课堂中,老师的提问具有很强的艺术性.巧妙的提问有利于调动课堂学习气氛,提高学生兴趣,让老师轻松
已有文献中对金融市场的区间观测数据利用模糊线性规划方法讨论动态模型结构(FAR(p)),这里引入模糊双线性回归模型(FBR(p,q)),利用模糊最小二乘法来估计未知参数。基于平均平
为了在服务组合过程中高效地发现、选择满足用户要求的Web服务，提出基于蚁群算法的多目标优化组合用以实现用户对组合服务质量的需求。该方法根据不同Web服务的QoS属性指标，选
精确的数组数据流分析是并行编译技术中的重要步骤。用终写树算法表示精确的数组数据流分析仅针对一对读写引用。该文研究并在工程上实现了终写树交叉算法,以分析多个写引用