机译:使用模型检查来识别入侵检测签名中的错误
Computer Science Department, Brandenburg University of Technology Cottbus, P.O. Box 101344, 03013 Cottbus, Germany;
Computer Science Department, Brandenburg University of Technology Cottbus, P.O. Box 101344, 03013 Cottbus, Germany;
Computer Science Department, Brandenburg University of Technology Cottbus, P.O. Box 101344, 03013 Cottbus, Germany;
computer security; intrusion detection; misuse detection; attack signatures; signature verification; promela; spin model checker;
机译:动态配置大规模入侵检测签名的博弈模型
机译:在无线传感器网络中使用基于签名的入侵检测系统识别安全威胁
机译:基于RASL模型检查的入侵检测新算法
机译:通过模型检查来识别签名中的建模错误
机译:通过模型检查自动检测严重的存储系统错误。
机译:纠正常见的错误以识别特定于癌症的血清肽签名
机译:通过模型检查来识别签名中的建模错误
机译:入侵检测:泛型和最新技术(la detection de l'intrusion:modeles generiques et etat de l'art)。