资料介绍
针对目前串空间理论依赖分析人员主观判断、无法使用自动化工具进行验证的问题,提出了基于串空间理论的协议认证属性标准化验证过程。首先为协议消息项定义类型标签,对串空间及认证测试理论进行扩展;然后通过判断测试元素出现位置、检验测试元素参数一致性、确认变换进行边唯一存在性和检验目标串参数一致性,将基于串空间理论的协议验证过程标准化为可程序实现的步骤。该算法的时间复杂度为0(n2),避免了模型检测方法的状态空间爆炸问题,并在此基础上实现了安全协议认证属性的自动化验证工具。以BAN-Yahalom协议和TLS l.0握手协议为例进行了标准化的分析验证,找到了对BAN-Yahalom协议的一种新攻击形式。该攻击无需限制服务器对随机数的检查,比Syverson发现的攻击更具普遍性。
- 一种基于属性平均距离的子空间求解策略 3次下载
- 以攻击者为中心的安全协议验证机制 0次下载
- PCM协议的分析与验证 9次下载
- 无线传感器网络SPIN协议的改进及验证
- 空间复用协议技术
- 电磁兼容标准化与认证
- 标准模型下增强的基于身份的认证密钥协商协议
- Needham-Schroeder对称密钥认证协议安全性分析
- 基于串空间的KryptoKnight协议分析及与逻辑化方法的
- 现场总线技术标准化的思考与CIP协议架构的启发
- NSSK协议的串空间模型及分析
- 基于消息匹配的认证协议分析
- 基于串空间模型的改进性N-S协议的分析
- CAN协议及标准规格
- CAN协议及标准规范
- 形式化验证最佳实践之三:实现端到端属性 376次阅读
- 验证和确认的区别和关系 4880次阅读
- SIMATIC S7-1500 PLC标准化指令简述 4473次阅读
- QUIC通信协议到底讲了什么? 780次阅读
- 如何访问对象属性 1146次阅读
- 芯片开发中形式化验证的是一个误区 1753次阅读
- 利用APB_I2C模块搭建层次化验证平台 2622次阅读
- 标准化模组演变过程和电量梯度 5204次阅读
- 如何根据PLC点亮指示灯最基本的问题理解PLC标准化编程 1w次阅读
- CAN协议和标准规范概述 3.4w次阅读
- 验证设计和创建可实现的设计 721次阅读
- 无线传感器网络标准化进展与协议分析 2510次阅读
- 全面分析车载以太网技术及其标准化 4964次阅读
- 基于VMM验证方法学的MCU验证环境 3189次阅读
- UCPS协议与HDMI的验证系统设计与实现 1958次阅读
下载排行
本周
- 1电子电路原理第七版PDF电子教材免费下载
- 0.00 MB | 1490次下载 | 免费
- 2单片机典型实例介绍
- 18.19 MB | 93次下载 | 1 积分
- 3S7-200PLC编程实例详细资料
- 1.17 MB | 27次下载 | 1 积分
- 4笔记本电脑主板的元件识别和讲解说明
- 4.28 MB | 18次下载 | 4 积分
- 5开关电源原理及各功能电路详解
- 0.38 MB | 10次下载 | 免费
- 6基于AT89C2051/4051单片机编程器的实验
- 0.11 MB | 4次下载 | 免费
- 7基于单片机和 SG3525的程控开关电源设计
- 0.23 MB | 3次下载 | 免费
- 8基于单片机的红外风扇遥控
- 0.23 MB | 3次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 2PADS 9.0 2009最新版 -下载
- 0.00 MB | 66304次下载 | 免费
- 3protel99下载protel99软件下载(中文版)
- 0.00 MB | 51209次下载 | 免费
- 4LabView 8.0 专业版下载 (3CD完整版)
- 0.00 MB | 51043次下载 | 免费
- 5555集成电路应用800例(新编版)
- 0.00 MB | 33562次下载 | 免费
- 6接口电路图大全
- 未知 | 30320次下载 | 免费
- 7Multisim 10下载Multisim 10 中文版
- 0.00 MB | 28588次下载 | 免费
- 8开关电源设计实例指南
- 未知 | 21539次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935053次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537791次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420026次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191183次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183277次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138039次下载 | 免费
评论
查看更多