时间敏感的安全协议建模与验证研究(pdf 6页)

时间敏感的安全协议建模与验证研究内容提要：
协议用于实现开放互连网的通讯安全，时间戳可以保证协议传榆消息时的新鲜性。但目前对含有时间特性的协议的研究还很不成熟，还没有有效的方法来验证带时间戳的安全协议。这使得一些大规模复杂协议的安全性质无法通过形式化方法进行全面的验证。详细说明了时间戳的起因和研究时间戳的原因；详细介绍了国际上时间戳特性的几种主流研究方法——MSR方法、归纳法、CSP方法和BAN逻辑在时间敏感安全协议验证方面的工作，对它们的优缺点进行了评述，并指出了进一步的研究方向。
..............................

上一篇：关于李园节肢动物群落时间动态的聚类分析

下一篇：谈从叙事时间范畴看郁达夫的小说(pdf 7页

电气火灾发生后如何逃生(DOC 49)

化工仪表及自动化之执行器(ppt 55页)

企业创造现金流量能力影响的实证研究(pdf 59页)

满族自治县宣传思想文化工作要点(doc 8页)

现代企业管理新思维逻辑法(doc 6页)

美国某公司S系列体积管流量标定系统(pdf 10页)