Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations
简要总结 方法:提出了一种自动化黑盒技术,检测有状态网络协议实现中的状态机错误 自动化要求:需要提供协议的实现模型(可能不准确)和以 DFA 形式提供的协议状态机错误目录 贡献: 提出了一种新的完全黑盒技术,用于检测有状态网络协议实现中的漏洞和错误,其起点是一个模型和一组编码为自动机的协议状态机错误。从此时起,该技术就完全自动化了。 ...