【摘 要】
：
我们介绍了一个密码协议的计算模型.它作为BAN家族、SVO中的逻辑语义,对于BAN家族和SVO这个逻辑是有效的.我们把自己的计算模型与另一个有联系的NRL协议分析器进行了比较.通
【出 处】
：
全国第十四届计算机科学及其在仪器仪表中的应用学术交流会
论文部分内容阅读
我们介绍了一个密码协议的计算模型.它作为BAN家族、SVO中的逻辑语义,对于BAN家族和SVO这个逻辑是有效的.我们把自己的计算模型与另一个有联系的NRL协议分析器进行了比较.通过说明如何把这些模型联系起来,我们提供了统一分析的基础,在统一分析中每一个分析工具都能发挥它们在单个模型背景下所能发挥的最大作用.,
其他文献
本文探讨了中间件技术及其应用,首先提出了在分布式应用系统中构建基于中间件的多层客户/服务器系统的必要,然后介绍了中间件技术及实例,最后重点提出一种使用中间件构建的多
我国社会主义经济繁荣发展,这都得益于改革开放后一系列的决策.改革开放后,我国的经济增长速度非常快,尤其是贸易方面,而发展贸易依靠港口与航道工程.我国建造港口和航道工程
房建工程施工中必须要做好多方面的质量控制,只有这样才能确保房建工程的最终质量能够达到施工要求.渗漏是目前房建工程在具体施工中常见的一项问题,一旦出现渗漏情况将会对
《三死》是托尔斯泰在1858年完成的一篇短篇小说,小说写了贵妇人玛丽亚·德米特里耶夫娜、马车夫费奥多和一棵树的死亡,玛丽亚对生充满了贪恋,费奥多平静地死去,树死亡后则成
本文以广州市国家档案馆新馆深基坑支护工程施工为例从对我国深基坑支护技术存在的主要问题的分析入手,分别从旋挖灌注桩施工、水泥搅拌桩施工及锚索施工等方面,探讨建筑工程
本文分析了传统X.509证书实现Web安全属性服务时存在的问题,详细描述了Farrell等提出的属性证书格式,提出了一种基于属性证书的改进证书方案,并在此基础上给出一个实现Web上
随着Internet的发展,Web上大量、分布、动态的信息导致了“信息过载”,传统搜索引擎面临严峻的挑战,目前对Mobile Agent系统的理论与应用研究已成为一个热点前沿课题.本文对W
篮球是高校体育教学中的重要内容,也是大学生最为热衷的体育项目之一,其教学有效性的高低对大学生身体素质的强弱及是否能形成终身体育意识,产生巨大影响.但是,当前的高校篮
在高校教学的过程中,公共体育课是必修的一门课程.高校的体育教育能够促进学生身心健康的发展,培养学生良好的品质,提高学生的身体素质,是素质教育的重要方式,有利于学生全面
软土是广泛分布于我国的一种不良地质对道路路基会造成不良的影响,比如变形破坏等等.水泥搅拌桩是处理软土地基的一种有效处理方法,是提高地基承载力,减小地基沉降方面的有效