协议安全测试相关论文
在基于构造类别代数的协议描述上引入变异分析方法，由此提出了一种基于错误模型的协议安全测试方法．通过设计针对构造类别代数的变异......
针对协议安全测试中数据流的描述问题,在构造类别代数的基础上引入变异分析,由此提出了一种协议安全测试方法.基于协议的描述设计......
随着通信协议的日益复杂,以及针对协议漏洞的攻击手段和技术的不断发展,因协议出错而引起的网络异常甚至崩溃现象层出不穷,危害了......
协议工程是一体化、形式化的协议开发过程,其研究内容包含协议的形式化描述,协议验证,协议实现和协议测试等。协议测试是协议工程......
长期以来，工业控制系统被认为是基于专有技术的封闭系统，可以免于网络攻击的危害，因此在工业控制领域得到广泛应用的控制协议（如Modbus......
