论文部分内容阅读
综述目前安全协议形式化分析的理论与方法 ,包括安全协议的分类与模型 ,安全协议形式化分析的 3种典型方法 (基于推理的结构性方法 ,基于攻击的结构性方法 ,基于证明的结构性方法 ) ,安全协议分析的形式化语言 ,安全协议设计的形式化方法 ,以及安全协议形式化分析面临的挑战
安全协议形式化分析理论与方法研究综述
【摘 要】
：
综述目前安全协议形式化分析的理论与方法 ,包括安全协议的分类与模型 ,安全协议形式化分析的 3种典型方法 (基于推理的结构性方法 ,基于攻击的结构性方法 ,基于证明的结构性
【机 构】
：
中国科学院软件研究所
【出 处】
：
中国科学院研究生院学报
【发表日期】
：
2003年04期
其他文献
为解决巡回式Chaku-Chaku生产线员工数量确定及产能计算问题,对Chaku-Chaku型双资源约束制造系统进行了研究,提出了指派员工数量的计算方法和生产线产能计算方法。建立了基于
随着田径运动的迅速发展和运动水平的不断提高,人们对田径运动的认识不断加深。本文采用文献资料法对长跑运动员专项训练中注意动作实效性、步长与步频、高原训练、心理素质
<正>在上一期媒体人犯罪经典案例评析中,笔者以王燕梅受贿案为切入点,对软文的历史进行了追溯。迄今为止,公开司法文书中并不常见软文获罪案例,但混淆了新闻与广告的软文自诞
起于建国初期的"新年画"运动,是特定历史时期出现的一场政治的、文化的运动。作为一种勾连传统与现实的表达媒介,新年画的形式与内容成了本文观察新意识形态符号体系建构过程
地沟油是一种严重危害人们身心健康的废弃劣质油品,我国主要通过检测技术来实现对地沟油的有效鉴别。本文对当前地沟油检测中最常见的检测技术进行综述。
目的探讨某院门诊西药房影响服务质量的因素,总结改善方法。方法以某院门诊西药房为研究对象,对其服务现状进行观察研究,对工作人员、患者分别进行调查,并据结果提出对策。结
<正>始于ICU危重症患者管理——对危重症快速识别、快速处理模式而引用于普通病人的管理,在普通病房建立一种及时发现患者病情变化、并能及时处理的快速反应团队(rapid respo
在当前双语教育的发展中,教学质量是突出的问题。文本依据有效教学理念和新课程改革对课堂教学的要求,针对提高课堂教学质量,提出了双语教育有效课堂教学的理念和标准,并根据
一种文化及文化心态的生成或主观重构,以社会重大变革为契机,以除旧布新为目标和方法,然而这种重构的过程,本身亦是文化心态的一种反映。考察日本东洋史学建设之初的两场"抹
目的探讨血清胱抑素C对小儿急性肾功能衰竭的诊断价值。方法选取我院从2011年5月~2014年5月门诊收治的58例急性肾功能衰竭患儿做为研究对象。所有患儿入院后检测血清尿素氮(B