论文部分内容阅读
形式化方法的主要特点是能够发现一个系统中的歧义性、不一致性,本文利用形式化方法的这一特性,将其应用到密码协议当中,可以很好改进密码协议的安全性。
形式化方法在密码协议中的应用
【摘 要】
：
形式化方法的主要特点是能够发现一个系统中的歧义性、不一致性,本文利用形式化方法的这一特性,将其应用到密码协议当中,可以很好改进密码协议的安全性。
【机 构】
：
黄冈师范学院计算机学院
【出 处】
：
科技信息
【发表日期】
：
2009年6期
其他文献
介绍在Delphi7环境中利用自带的Microsoft Help Workshop帮助系统,创建HLP帮助文件的实现方法。用举例方式介绍RTF文件、目录文件和工程文件的创建到编译成HLP文件,以及调用
采用密度泛函理论对富勒烯C40的含四、七元环的部分非经典结构异构体进行了计算研究,对它们的几何构型、总能量及HOMO-LUMO能量间隙进行比较分析。结果显示,稳定性高的异构体
自＂自我概念＂理论提出以来,人们就没有停止过对它的研究,本文通过对自我概念内涵的阐述,分析了青少年自我概念的特征,对青少年自我概念的形成进行了探讨,指出老师和家长要注重
实物期权是在金融期权发展过程中演变而来的,它是将金融期权定价理论应用于实物投资决策分析方法之中,是一种新型的决策工具。在对具体旅游投资项目评价分析中,与传统的投资
刑法修正案(九)》对贿赂犯罪的处罚作了重要的修改,不仅改变了贿赂犯罪立法中多年流行的单纯"数额思维"的处罚模式,而且对贿赂犯罪的法定刑做出了更为科学的规定。结合"两高"
随着广泛使用教务管理信息系统并取得一定成效，高校越来越深刻地认识到教务系统本身及管理方式的不足，教务管理信息系统走向规范化、制度化管理轨道成为了高校的普遍迫切需求。
软件定义存储的概念很大。存储虚拟化、SmwerSAN、超融合架构（HCI）都是SDS的一部分。软件定义一切囊括了在基础设施可编程性标准提升下不断增长的市场势头、由云计算内在自动化
<正>可发生于任何类型的胃部手术之后,以BillrothⅡ式胃大部切除术后更为多见,食管手术引起迷走神经损伤也可产生倾倒症状。早期餐后症状群主要包括两组症状:一组是胃肠道症
目的探讨N末端脑钠肽（NT-BNP）在左心舒张功能不全诊断中的价值。方法选择符合欧洲左心舒张功能不全的对象33例，同期选门诊体检正常人20例为对照组，所有对象抽空腹肘静脉血，用酶免
近些年来,中国和加拿大双边贸易得到较快发展。笔者利用1998年～2007年的时间序列数据,使用贸易结合度、贸易竞争优势指数、贸易互补性指数和经常市场份额模型等一系列指标,对