论文部分内容阅读
根据安全协议分析的需要,阐述经扩展后的串空间理论,在该理论中加入Diffie-Hellman密钥交换等操作,在此基础上扩展理想和诚实的概念,使用扩展的串空间理论分析SIGMA-R协议的核心安全特性——保密性和认证特性,并通过数学方法加以验证。
串空间理论的扩展和应用
【摘 要】
：
根据安全协议分析的需要,阐述经扩展后的串空间理论,在该理论中加入Diffie-Hellman密钥交换等操作,在此基础上扩展理想和诚实的概念,使用扩展的串空间理论分析SIGMA-R协议的
【机 构】
：
合肥电子工程学院网络工程系,解放军73677部队
【出 处】
：
计算机工程
【发表日期】
：
2009年22期
其他文献
短篇小说《哮喘声声》(著于1946~1949年间)是约瑟夫?海勒学生时期的作品,已初具后现代主义写作特点。笔者分析该短篇小说中后现代主义社会背景,由此背景着重分析短篇小说中人
《山海经·海内南经》有云：“闽在海中”。而今，沧海桑田，斗转星移，今天的福建境内山地丘陵面积约占全省土地总面积的90％，正所谓“八山一水一分田”。如此环境下，福建地区的公路
利率是金融市场上的基础价格变量之一,利率期限结构是由某个时点上不同期限的利率所组成的一条曲线。市场利率的动态规律和利率期限结构动态模型一直以来就是金融研究的重要
杰克·伦敦的创作与十九世纪末二十世纪初的美国文化密切相关,这一时期拳击运动的中心逐渐从英国转向美国,成为美国人生活中不可或缺的一部分。与此同时,工业化和城市化
《暗店街》与《万寿寺》均从“失忆”主题出发,探索人的个体本质与生存状态,具有共同的出发点和目的性;与此同时,两者又因各自不同的文化传统和时代背景,呈现出对个体存在的
贺斯格乌拉露天煤矿位于霍林郭勒西北70余km的内蒙古自治区锡林郭勒盟东北部乌拉盖管理区境内,地处锡盟、兴安盟和通辽市三盟市的交界处锡林郭勒草原的腹地,矿区已探明煤炭储
针对固定阈值适应性差的缺点，提出一种可以根据网络环境和运行状态自动调整阈值的网络性能异常检测方法。与一般的基于统计的方法相比，该方法给出样本空间内性能数据的样本均值
联邦德国50年代“经济奇迹”是德国历史上前所未有的经济高速发展时期。联邦德国50年代到60年代初期的社会批判小说不仅用现代的写作手法表达了一种美学上的反抗意识,而且还
在整体论的视域中,世界是一个各部分相互包含、相互依存的整体。只强调整体之中的一个侧面将会引发诸多的生态和社会问题。从整体论的角度来分析美国19世纪女诗人狄金森的诗
从与图像隐写分析算法评估相关的问题入手,分析隐写分析算法评估的指标,利用FCM算法实现对各种隐写分析算法的性能评估和比较。该评估算法不仅能对现有隐写分析算法进行评价,以选出最优算法,也适合对新的隐写分析算法进行性能评价。实验结果表明,该评估算法是有效的。