%0 Journal Article
%T 一种入侵检测系统的形式化建模及其检测方法的研究
%A 彭雅丽
%A 章志明
%A 余敏
%J 计算机应用
%D 2006
%X ？在入侵检测系统的开发过程中应用形式化的规格说明方法，可保证所开发的系统能够满足系统的安全需求，增强用户对所实现系统的信任。以z方法对所设计的分布式拒绝服务(ddos)入侵检测系统进行规格说明为例，将z的应用扩展到安全关键系统的开发和设计领域。
%K 入侵检测系统
%K z语言
%K 建模
%K 分布式拒绝服务
%U http://www.joca.cn/CN/abstract/abstract8575.shtml