【摘 要】
：
基于类型理论的安全协议验证技术是近年来新出现的技术途径之一.本文在对基于类型理论的安全协议验证技术及其研究现状进行简要介绍后,主要分析了由A. D. Gordon建立的、用于
论文部分内容阅读
基于类型理论的安全协议验证技术是近年来新出现的技术途径之一.本文在对基于类型理论的安全协议验证技术及其研究现状进行简要介绍后,主要分析了由A. D. Gordon建立的、用于对协议的认证性进行验证的类型系统,借助其与信念逻辑方法在证明过程中的某些相似性,对其中的主要思想进行了分析讨论.本文最后还指出了基于类型理论的安全协议验证技术研究中一些有待深入的问题.
其他文献
文章主要探析日本建筑设计大师安藤忠雄的设计思想,通过介绍日本设计师安藤忠雄(Ando Tadao),探索日本建筑大师安藤忠雄的设计理念,尤其是与日本禅相关的设计理念。安藤忠雄
镍钛锘（镍和钛的非磁性合金）丝是一种很细却很硬的合金丝，测量时,若不采用正确的夹紧方法，在夹钳接触面很容易出现损伤。当进行镍钛锘丝应变测量时，试验系统的定位传感器常常无法
在GPS/DR组合导航中,一般是基于二维平面建立的航位推算模型,由此建立常系数矩阵的卡尔曼滤波方程,并在此基础上求解。但是,实际运动物体都是在地球球面上运动。为了获得更精确的运动物体的数学模型,本文建立了GPS/DR组合导航系统的球面模型,得到了含不确定性参数系数矩阵的卡尔曼滤波模型,并利用改进的鲁棒卡尔曼滤波算法分别对运动体沿经度、纬度线和曲面圆周运动进行了仿真。仿真结果表明,基于本文建立的模型
新闻是报纸上最常见的内容,在报纸上占据着一定比重。尤其是在日报社,新闻承担着日报社的重要工作,新闻质量的好坏影响着整个报社的水平。日报记者作为撰写新闻的主体,必须提
广州海工液压舵机厂生产出电液联控同步舵机和同异步舵机两种新产品。
随着改革开放和经济建设的发展,各地都在积极引进利用外资,大力兴办三资企业,这对提高我国经济整体素质,促进经济建设的迅速发展无疑起到了很大作用,效果也是非常显著的。为
针对使用和维护吉兆调频发射机工作中碰到的功放故障,分析功放电流采样的原理和特点,总结发射机的检修和维护经验。
通过分析目前制导武器的现状,研究了重点工程的生存能力,并提出了国防工程指挥自动化系统生存概率的初步模型,分析结果表明,GPS干扰技术的研究与应用是维持重点工程生存能力
欧·亨利在其短篇小说《警察与赞美诗》中使用了大量修辞格,使作品富有极强的语言魅力。本文从介绍词义修辞格的含义及作品主要内容入手,分析了小说中出现的明喻、反语、委婉