【摘 要】
：
对于安全协议的形式化分析方法从技术特点上做了分类和分析．对于安全协议分析技术的发展历史、目前的状况以及将来的趋势作了总体的介绍和总结．根据作者的体会，从纵向和横向两个
【机 构】
：
中国科学院软件研究所信息安全国家重点实验室
论文部分内容阅读
对于安全协议的形式化分析方法从技术特点上做了分类和分析．对于安全协议分析技术的发展历史、目前的状况以及将来的趋势作了总体的介绍和总结．根据作者的体会，从纵向和横向两个角度进行了总结．纵向方面主要是从用于分析安全协议的形式化方法的出现和发展的历史角度加以总结．横向方面主要从所应用的技术手段、技术特点入手，进行总结分析．说明了目前协议形式化分析发展的主要方向．对于目前国际流行的方法和模型进行了例解．
其他文献
为了科学有效管理车间自动导引车(AGV)与人工叉车相互耦合的交通问题,本文提出了基于超宽带(UWB)定位技术的AGV与人工叉车的交通管理系统。将该系统划分为物理层、网络层、交
广西平果县在2002～2007年间,退耕还林18951.91hm2,涉及14个乡(镇、林场),截止2012年,累计效益面积达119063.40 hm2。本研究通过野外调查与室内试验对平果县不同退耕还林地生物
随着经济的不断发展,农田水利工程建设对环境和资源的破坏在逐渐加剧,因此要促进农田水利工程的生态化建设。而提高农田水利工程的整体规划水平、优化堤线布置和堤型选择、优
介绍一种利用温度传感器、多路模拟开关、电流频率转换器和数字频率计实现的温度测量系统。从器件选型、电路设计和算法优化等方面研究了提高采集精度和减小误差的方法。该系
【正】 一、明初的海外贸易及其与郑和下西洋的关系在十五世纪初期的郑和下西洋之前,中国与东南亚、印度等国的关系,大都建立在所谓“朝贡贸易”上面。十四世纪中期,亦即明初
<正>1前言随着我国城市化进程的加快,作为国家最大的惠民工程之一在其实施过程中,全国保障性住房的建设进入了大规模建设阶段。BIM技术应用得到了全方位的展现。目前,多地建
校外实习基地的建设对提高学生实践能力、学科专业建设以及企业的发展具有十分重要的作用,已经引起政府、企业和学校的高度重视,但仍存在一定的问题。为了有效推动校外实习基
本文以我国沪深股市化工化纤行业的68家上市公司为研究样本,利用其财务报表数据,采用逐步判别分析方法对所取上市公司的信用风险进行度量,研究发现,逐步判别分析方法具有很高
翻转课堂作为一种新的教学组织形式,将知识"吸收内化"的过程放在课堂上,有利于学生将所学知识在教师的引导下吸收内化,直至可以灵活使用,这一形式非常适用于大学的语言课程。
我国作为一个农业大国,农田水利工程的建设一直以来就是人们关注的一个重点。大量的农田水利工程为人们带来的促进作用是不可忽视的,大大的促进了区域农业的发展,但在这个过