论文部分内容阅读
伴随着网络和通信的迅速发展,安全已经成为一个备受关注的问题,为确保不同系统的安全,出现了许多的安全协议.文中描述了安全协议验证的形式化需求,并且详细阐述了目前流行的几种形式化的验证技术及各自的优缺点,探讨了形式化验证技术所面临的挑战,指出目前在这方面所做的工作以及有待发展的方向.
安全协议中的形式化验证技术
【摘 要】
：
伴随着网络和通信的迅速发展,安全已经成为一个备受关注的问题,为确保不同系统的安全,出现了许多的安全协议.文中描述了安全协议验证的形式化需求,并且详细阐述了目前流行的
【机 构】
：
甘肃工业大学
【出 处】
：
微机发展
【发表日期】
：
2003年11期
其他文献
自1969年美国国防部建立的ARPA网络从诞生到现在，Internet从研究试验阶段发展到用于教育、科研的学术性阶段，进而发展到商业化阶段，这一历程充分体现了Internet发展的迅速，以及技
介绍了企业网络信息管理系统总体设计方案,提出了软、硬件的设计方案和实现方法.该系统可以实时掌握控制各职能部门的运营状况,有效地调配企业资源,提高企业的市场竞争能力.
文中提出一个基于黑板的共享对象协同操纵模型，对其中的关键技术黑板结构、共享对象的分布、并发控制、协作感知进行了详细的讨论。
目的研究手助腹腔镜脾切除术和开腹脾切除对机体免疫功能的影响,考察该术式的临床价值.方法16例肝硬化脾亢患者随机分为手助腹腔镜脾切除组和开腹脾切除组,比较两组病例术前
目的验证螺旋腔镜打结器使用效果。方法15位腔镜外科医生在腔镜模拟操作器内分别使用该打结器打结与传统方法打结。比较两种方法打结的效率。结果15位腔镜外科医生使用该打结
随着时代的发展,很多蔬菜水果是一年四季出现在人们的餐桌上,人们再也不用担心买不到想吃的水果和蔬菜了。这里面,设施农业（更确切的说是温室大棚）及“南菜北运”项目功不可没,
本文根据WWW用户和数据库用户各自对数据访问的特点不同，提出了一种将数据库服务器与WWW集成的结构。该集成结构中既提供了基于超文本的导航浏览功能访问数据库系统，又支持用户
目的 总结了32例经前路人工腰椎间盘置换术患者围手术期的护理经验。方法回顾分析2004年1月至2008年8月我科32例应用人工腰抵间盘置换术患者的围手术相护理。术前应做好心理
目的初步探讨载多柔比星葡聚糖纳米粒（DOX/DEX-PLA）联合YH-16（重组内皮抑素）对卵巢癌细胞的体内外的杀伤作用。方法以双乳化剂蒸发法制备DOX/DEX-PLA载药纳米粒,透射电镜观察纳米
名字解析是组建ＴＣＰ／ＩＰ网络遇到的首要问题之一，本文分析了ＷｉｎｄｏｗｓＮＴ４．０几种名字解析方法，并指出了每一种方法的优缺点和应用场合。用户可根据自己的具体情况选择一种或两种方法来解决名字与ＩＰ地址的