论文部分内容阅读
安全协议形式化分析与验证技术是计算机网络安全领域的重大课题之一。形式化方法多种多样。文中首先描述了形式化分析的前提,然后采用对比的方式详细介绍了目前流行的几种形式化验证技术的验证过程及相应的优缺点,并介绍了一种新的验证技术-类型检测方法,最后指出目前在这方面所做的工作以及未来的发展方向。
安全协议形式化分析与验证研究
【摘 要】
：
安全协议形式化分析与验证技术是计算机网络安全领域的重大课题之一。形式化方法多种多样。文中首先描述了形式化分析的前提,然后采用对比的方式详细介绍了目前流行的几种形
【机 构】
：
解放军理工大学通信工程学院
【出 处】
：
第十七届全国信息保密学术会议
【发表日期】
：
2007年期
其他文献
在探讨了基于角色访问控制(RBAC)主要思想的基础上,针对访问电子政务平台的用户多、权限关系复杂等特点,提出了一种新的访问控制模型及其安全策略。此模型对RBAC进行了优化,
介绍了襟翼滑轨制造过程中,表面及近表面缺陷磁粉检测遇到的难题及解决方案.重点分析研究了滑轨多截面、工字型及孔型结构等部位磁粉检测工艺方案.经理论分析、试验证明,并联
介绍封头成型后内表面渗透检测,过渡背景出现的原因分析和解释,及确定相关显示和非相关显示。
This paper introduces the analysis of the internal surface infiltration
虽然RFID由于频段等多种原因还没有形成全球统一的产业标准,但已经有越来越多的RFID产品被实际应用,特别是在物流领域。随着应用扩展,未来遍布全球各地的RFID系统安全可能会
通过对比试验和实际检测效果验证减少加工后薄壁叶片铸件缺陷暴露的超声检测工艺的有效性。
The effectiveness of the ultrasonic inspection process to reduce the expos
介绍了RFID系统的应用模式和构成,并对其在保密领域中的应用加以分析。根据RFID系统的频段划分,从标准和开发环境方面,对不同频段的RFID设备进行了比较。结合C＃技术,给出了部
相控阵检测技术可以通过一个探头实现角度连续变化的多角度扫查,适用于复杂工件的检测,具有改变声束角度、聚焦范围、焦点尺寸等特点,从而获得最高的检测灵敏度和信噪比,检测
随着信息技术的飞速发展,身份识别技术也越发凸显重要。便捷、安全、保密的生物识别技术应需而生,尤其是基于指纹的身份识别技术更是得到了广泛的关注。如何处理好基于指纹身
针对在钢结构中广泛使用的T型部分熔透焊缝熔透深度的测量,探头角度的选择对其有较大的影响,通过对试块上的试验结果进行分析,总结出适用于部分熔透焊缝超声波检测熔透深度的
介绍了RCC-M规范下多种无损检验技术在压水堆反应堆堆内构件制造中的应用,主要包括液体渗透、射线与超声波检验。同时介绍了各种检验方法应注意的事项,以更好地实现堆内构件