论文部分内容阅读
BAN类逻辑是一款非常优秀的形式化分析工具。它能够帮助设计和分析各种安全协议。介绍了BAN逻辑的产生、构建、分析步骤,指出BAN逻辑现存在的缺陷。同时用BAN逻辑形式化分析了Yahalom协议。
BAN逻辑在形式化协议分析中的应用
【摘 要】
：
BAN类逻辑是一款非常优秀的形式化分析工具。它能够帮助设计和分析各种安全协议。介绍了BAN逻辑的产生、构建、分析步骤,指出BAN逻辑现存在的缺陷。同时用BAN逻辑形式化分析
【机 构】
：
贵州大学计算机科学与信息学院
【出 处】
：
黑龙江科技信息
【发表日期】
：
2009年28期
其他文献
扩频通信技术是一种无线通信抗干扰技术,因其具有发射功率谱密度低、截获率低、抗干扰能力强、不易被发现、抗多径干扰能力好等特点被广泛应用。在其接收电路中一个关键的环
松辽盆地北部深层天然气勘探取得历史性重大突破，2005年初大庆徐家围子地区提交了1018．68×10^8m^3天然气探明储量，中石油公司提出了“松辽盆地北部深层天然气勘探要成为重
枯竭油藏和含水构造改建地下储气库是目前新建储气库的重要趋势之一。为了研究地下储气库在建库以及运行过程中的多相渗流特征，采用物理模拟实验的方法分析了枯竭油藏及含水构
在系统收集和整理古龙地区葡萄花油层资料的基础上，利用大量的分析化验资料，对该区葡萄花油层储层内岩石矿物成分、物性特征和孔隙结构特征进行了详细的研究。研究表明：古龙凹陷
C60高强混凝土预应力梁的施工技术难度大,设计要求在浇筑完成后14d时张拉,张拉时要达到设计强度的90%,弹性模量也需达到80%设计要求,因此根据这些技术难点对混凝土原材料选取