formal model; fuzz testing; protocol implementation; security flaw;
机译:车辆自组织网络(VANET)路由协议中用于检测和预防安全攻击的机制的性能分析和实现
机译:无线传感器网络中基于HHT的低开销安全增强方法,用于基于编码的重编程协议
机译:在有限内存嵌入式内核中实现高速和长距离网络协议的新方法
机译:一种基于模型的安全漏洞检测方法的方法
机译:网络安全的随机工具:匿名协议分析和网络入侵检测。
机译:用于网络协议实现和漏洞检测的模型指导的符号执行方法
机译:一种基于模型的网络协议实现安全漏洞检测方法
机译:网络安全协议的原型实现。