论文部分内容阅读
对认证协议进行了研究,指出采用保密服务是设计认证协议是一种安全服务的误用,存在两种潜在的安全隐患。针对带密钥的单向函数提出了一种扩展的BAN逻辑。利用该逻辑对两种改进的公钥认证协议进行形式化分析,说明带密钥的单向函数所提供的两种安全服务能够保证公钥认证协议的安全。
单向函数在公钥认证协议中的作用
【摘 要】
：
对认证协议进行了研究,指出采用保密服务是设计认证协议是一种安全服务的误用,存在两种潜在的安全隐患。针对带密钥的单向函数提出了一种扩展的BAN逻辑。利用该逻辑对两种改进的公钥认证协议进行形式化分析,说明带密钥的单向函数所提供的两种安全服务能够保证公钥认证协议的安全。
【机 构】
：
山东大学网络信息安全研究所
【出 处】
：
计算机应用
【发表日期】
：
2005年11期
其他文献
2006年3月上旬至6月中旬，笔者对浙江省群众灯光围网渔具、渔法及其渔业资源利用情况做了初步的调查。通过调查分析得出：（1）目前浙江省群众灯光围网使用的网具正在由前几年的小规
针对多阶段服务模型的特点,介绍了如何为多阶段服务模型建立相应的工作流分析模型,提出了一种改进的关键路径分析算法,增加了对工作流模型中常见结构的支持。算法将工作流网看作一个M/M/n有限等待队列网并讨论了工作流活动在各种常见结构中的到达率与时间延迟。通过该算法可以计算出模型中平均执行时延最长的路径,为系统性能优化提供依据。
从界定股票泡沫的内涵出发,提出股票泡沫的定义.并通过一个扩展的n阶差分方程模型对两只龙头股的泡沫进行实证分析和度量,以期对我国股票市场存在的有关问题进行定性剖析和揭
2年前，我的师父一开学就给我讲了一个故事：一个调查者受命去访查该地区贫困的原因。出发前，就有人告诉他，那儿的人特别好吃懒做，无所事事。这话给他留下先入为主的印象。果然，他去田里暗访，看到一个农夫模样的人在割草，那人割一会儿就坐着休息一会儿。“这儿的人真是无药可救了！”于是他回头就走，就在转身的一瞬间，不
在分析支持向量机(SVM)寻优问题的KKT条件和样本分布之间关系的基础上,分析了新增样本的加入对SV集的影响,定义了广义KKT条件。基于原训练样本集和新增训练样本集在增量训练中地位等同,提出了一种新的SVM增量学习算法。算法在及时淘汰对后继分类影响不大的样本的同时保留了含有重要分类信息的样本。对标准数据集的实验结果表明,算法获得了较好的性能。
我国破产法修改草案已经完成,破产法基本原则的确立直接影响破产具体制度的设计.从破产法的价值取向上分析其利益本位原则,阐述我国破产法基本原则的构建.
渔业产业化是实现渔业增长方式转变的重要途径，国际合作是推进渔业产业化的有效方式。我国渔业产业化国际合作的发展经历了三个阶段，自90年代中期以后外商直接投资开始成为我国