构造类别代数相关论文
该文针对协议数据流的测试进行了研究,选择了构造类别代数来对协议的数据流部分进行形式化描述,提出了相应的测试方法.在此基础上,......
在通信协议的一致性测试中，可以使用构造类别代数来对协议进行形式化的描述，本文将变异分析引入构造类别代数中，设计了应用于构造类别......
在基于构造类别代数的协议描述上引入变异分析方法，由此提出了一种基于错误模型的协议安全测试方法．通过设计针对构造类别代数的变异......
网络安全问题已引起人们的广泛关注，通信协议设计和实现的健壮与否对于网络安全至关重要。使用扩展了的构造类别代数描述协议规范，基......
针对协议安全测试中数据流的描述问题,在构造类别代数的基础上引入变异分析,由此提出了一种协议安全测试方法.基于协议的描述设计......
如何从协议规范中生成即考虑控制流又兼顾数据流的测试用例是一个很有挑战的问题,本文提出了一种基于构造类别代数的数据流与控制......
随着通信协议的日益复杂,以及针对协议漏洞的攻击手段和技术的不断发展,因协议出错而引起的网络异常甚至崩溃现象层出不穷,危害了......
安全协议的设计和分析是复杂而且容易出错的.使用形式化的语言有利于安全协议的正确性和完整性.现有的安全协议的描述方法大多很复......
密码协议必须满足安全属性的需求,对密码协议进行形式化规范需要证明其满足该属性。传统的方法或者不利于验证,或者不利于描述。本......
