Purdue University.;
机译:一种新颖的安全协议攻击检测逻辑,具有针对新鲜攻击和交叉会话攻击的独特故障发现能力
机译:MANET中灰洞攻击下黑洞攻击缓解协议的性能分析
机译:关于基本几何定理自动发现的协议
机译:在传输协议实现中利用状态信息进行自动攻击发现
机译:分布式系统实现中的自动性能攻击发现
机译:通过使用斑马鱼通过自动化方法发现血管生成抑制剂的协议开发
机译:一种新的安全协议攻击检测逻辑,具有唯一故障发现能力的新鲜度攻击和交错会话攻击
机译:使用supertrace算法和TEsTGEN进行自动网络协议可达性分析:自动生成正式协议规范的测试序列。