论文部分内容阅读
安全协议的形式化分析是检验协议安全性的必要手段。为了实现协议的规范描述和合理完备的安全性验证，各种数学理论和人工智能方法被引进安全协议形式化分析与自动化验证领域。主要从逻辑方法、模型检测方法和证明方法3个方面对符号化的安全协议形式化分析方法进行了综述，并指出了今后该领域的研究方向。
安全协议形式化分析方法
【摘 要】
：
安全协议的形式化分析是检验协议安全性的必要手段。为了实现协议的规范描述和合理完备的安全性验证，各种数学理论和人工智能方法被引进安全协议形式化分析与自动化验证领域。
【机 构】
：
信息工程大学电子技术学院
【出 处】
：
信息工程大学学报
【发表日期】
：
2008年3期
【基金项目】
：
国家自然科学基金资助项目(60503012)
其他文献
1985年初,比利时北部12家饲养场感染非洲猪瘟疫情,导致60家饲养场的34000头生猪被扑杀。根据流行病学调查分析,此次疫情极可能是由于饲喂来自西班牙受污染饲料而引起,此后为
报纸
随着互联网的迅速普及和网络通信流量的高速增长,在网络安全这个大环境里面,字符串匹配已经成为入侵检测系统和协议分析系统的瓶颈。本文深入研究BF算法和Bloom filter算法,
设计衰落信道下增益高且协作程度灵活可变的极化码编码协作方案,研究了基于凿孔的系统极化码编码协作方法.论证了将非系统极化码的凿孔算法扩展应用于系统极化码的可行性,在
大型复杂协议的形式化分析是目前研究的一个热点和难点。根据所采用技术的特点,将大型复杂协议的形式化分析方法分为基于逻辑推理的方法、基于模型检测的方法、基于定理证明
１引言 本文采用高温半融法分解石墨材料，并用铬酸钡间接原子吸收法测定硫含量。其特点是方法简单快速，灵敏度好，准确度高，重现性好，适于硫含量大于１００μｇ／ｇ的石墨材料的测定。２实验部分２．１试
目的探讨320排螺旋CT评价正常人心脏二尖瓣形态与功能的价值。方法 50名心脏瓣膜正常成年人接受320排螺旋CT冠状动脉检查,重建心动周期10个时相,采用各时相多平面重组（MPR）、最
为了开发大米资源,提高粮食生产的经济效益,分别以糯米和牛奶为主要原料,发酵成大米发酵液和开菲尔,辅以其他原料调配成新型大米牛乳发酵饮料,通过正交试验确定其最佳配方为：
山东省出台了《山东省乡村振兴战略规划（2018—2022年）》（以下简称《规划》）。据了解,《规划》重点围绕优化城乡空间,构建城乡融合发展的体制机制,在＂统筹国土空间开发格局,优化乡