首页> 中文期刊> 《计算机应用》 >一种入侵检测系统的形式化建模及其检测方法

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机应用》 |2006年第7期|1643-1645|共3页
作者
彭雅丽; 章志明; 余敏;
展开▼
作者单位

江西师范大学;

计算机信息工程学院;

江西;

南昌;

330022;

江西师范大学;

软件学院;

江西;

南昌;

330022;

江西师范大学;

计算机信息工程学院;

江西;

南昌;

330022;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.08;
关键词
入侵检测系统; Z语言; 建模; 分布式拒绝服务;

相似文献

中文文献
外文文献
专利

1. 一种面向UEFI模块的形式化建模与验证方法 [J] . 王冠 ,郝晓星 . 计算机技术与发展 . 2021,第012期
2. 一种工作流形式化建模方法 [J] . 刘宇 ,李新 . 汕头大学学报（自然科学版） . 2020,第001期
3. 一种代币智能合约的形式化建模与验证方法 [J] . 欧阳恒一 ,熊焰 ,黄文超 . 计算机工程 . 2020,第010期
4. 基于一种形式化方法的3D虚拟祭祀场景建模语言与环境 [J] . 徐晓丹 ,李秉杰 ,李伯森 . 计算机应用 . 2018,第009期
5. 一种形式化建模中活性属性转化方法研究 [J] . 张棋 ,谢健 ,尹小花 . 计算技术与自动化 . 2018,第003期
6. 一种基于Arinc653操作系统的形式化建模语言 [C] . 刘聪 . 全国抗恶劣环境计算机第二十六届学术年会 . 2016
7. 一种对NAND闪存硬件和闪存转换层软件的形式化建模 [A] . 杨龙婴 . 2015

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号