一种入侵检测系统的形式化建模及其检测方法的研究

？在入侵检测系统的开发过程中应用形式化的规格说明方法，可保证所开发的系统能够满足系统的安全需求，增强用户对所实现系统的信任。以z方法对所设计的分布式拒绝服务(ddos)入侵检测系统进行规格说明为例，将z的应用扩展到安全关键系统的开发和设计领域。