计算机与现代化Issue(7)：51-55,5.DOI:10.3969/j.issn.1006-2475.2010.07.015
网络入侵检测系统安全通信协议的设计及验证
Design and Verification of Secure Communication Protocol for Network Intrusion Detection System
摘要
关键词
安全通信协议/协议设计/形式化验证分类
信息技术与安全科学引用本文复制引用
宋勇,秦拯..网络入侵检测系统安全通信协议的设计及验证[J].计算机与现代化,2010,(7):51-55,5.基金项目
广东省自然科学基金资助项目(7007730) （7007730）
湖南省教育厅科学研究课题(09C1200) （09C1200）
