Intrusion detection systems; High Speed Networks; Formal Specification; Verification and Validation.;
机译:入侵检测系统的高效正式框架
机译:高速网络(φ|π)IDS框架的启发式入侵检测系统框架
机译:披风的形状:控制器区域网络中基于时钟偏斜的入侵检测系统的形式分析
机译:有效的入侵检测系统的正式框架
机译:关于入侵检测系统的正式推理。
机译:在无线传感器网络中高效的入侵检测系统开发中集成软件工程流程
机译:入侵检测系统的高效正式框架