摘要
在入侵检测系统的开发过程中应用形式化的规格说明方法,可保证所开发的系统能够满足系统的安全需求,增强用户对所实现系统的信任。以Z方法对所设计的分布式拒绝服务(DDoS)入侵检测系统进行规格说明为例,将Z的应用扩展到安全关键系统的开发和设计领域。
Apparently, applying formal specification to the procedure of developing an intrusion detection system can fulfill its security requirement and win the confidence of users. Taking an Distributed Denial of Service(DDoS) intrusion detection system as an example, how Z can be used to specify and model the security-critical systems was illustrated.
出处
《计算机应用》
CSCD
北大核心
2006年第7期1643-1645,共3页
journal of Computer Applications
基金
国家自然科学基金资助项目(60363002)
江西省分布计算工程技术研究中心开放基金资助项目
关键词
入侵检测系统
Z语言
建模
分布式拒绝服务
intrusion detection system
Z
modeling
Distributed Denial of Service(DDoS)