-
题名计算机系统入侵检测模型与方法
被引量：49
- 1
-
-
作者
阮耀平
易江波
赵战生
-
机构
中国科技大学研究生院信息安全国家实验室
-
出处
《计算机工程》
CAS
CSCD
北大核心
1999年第9期63-65,共3页
-
文摘
简要介绍了系统评估和入侵检测的研究背景和意义。从攻击策略的角度，阐述了入侵检测内容和方法，并介绍了具有通用价值的入侵检测模型。通过总结将检测原理分为基于行为和基于知识两大类，分别阐述了各类方法的具体实现手段和各自的优缺点。
-
关键词
入侵检测
行为特征
计算机系统
信息安全
-
Keywords
Intrusion detection
Audit trail
Behavior feature
-
分类号
TP338.09
[自动化与计算机技术—计算机系统结构]
-
-
题名Sun工作站的安全性管理（一）
- 2
-
-
作者
汉泽西
于海勋
-
机构
西安石油学院
西北工业大学
-
出处
《现代电子技术》
1996年第1期9-12,共4页
-
文摘
在计算机系统中，保护信息的安全是系统管理的重要责任。本文讲述了Ｓｕｎ工作站通过系统查索安全化、数据和文件安全化。
-
关键词
安全性
管理
工作站
计算机系统
-
Keywords
network,security,administration
-
分类号
TP338.09
[自动化与计算机技术—计算机系统结构]
-
-
题名一种类BAN逻辑的分析和改进
被引量：1
- 3
-
-
作者
石春晖
董占球
赵战生
-
机构
中国科大北京研究生院
-
出处
《计算机工程与设计》
CSCD
北大核心
1999年第4期40-47,共8页
-
文摘
BAN作为对认证协议形式化分析的逻辑，在获得巨大的声望的同时也受到诸多抨击。如对秘密性要求的形式化表示，以及将协议格式改写为BAN逻辑可分析格式时的困难。其中一个例子就是对Nessett协议的分析。为解决这些问题，WenBoMao，ColinBoyd于1993年提出了一个新的逻辑（MB93）。该文将介绍这两个逻辑，并构造一个简单协议来指出MB93逻辑在分析Nessett协议及类似公钥体制的认证协议时也是有缺陷的，随后提出了一种改进MB93的方法。
-
关键词
认证协议
安全性
计算机系统
BAN逻辑
-
Keywords
Formal
Logic
Authentication protocol
-
分类号
TP338.09
[自动化与计算机技术—计算机系统结构]
-
-
题名操作系统—计算机系统的防火墙
- 4
-
-
作者
孙乐昌
胡永春
-
机构
电子工程学院系统工程教研室
-
出处
《电脑知识与技术（过刊）》
1999年第2期50-51,共2页
-
文摘
计算机系统安全问题,自计算机问世以来便为人们所重视.当计算机病毒这种对计算机系统的“有意识”攻击出现后,计算机系统的安全问题,更变得尤为突出.计算机系统安全包括设备安全、信息安全和服务安全.其中的信息安全,重点是避免对系统信息的破坏和窃取,或者说是信息的保密性、完整性和拒绝服务性,是计算机安全的核心内容.我们知道,操作系统是计算机系统的集中管理者,进一步而言。
-
关键词
计算机系统
防火墙
安全
操作系统
-
分类号
TP338.09
[自动化与计算机技术—计算机系统结构]
TP316
[自动化与计算机技术—计算机软件与理论]
-
-
题名世纪末的世界“死”机
- 5
-
-
作者
丹亮
-
出处
《北京电子》
1998年第2期30-31,共2页
-
-
关键词
计算机系统
死机
软件
世纪虫
安全
-
分类号
TP338.09
[自动化与计算机技术—计算机系统结构]
-
-
题名简述计算机安全运行的技术措施
- 6
-
-
作者
刘艳贤
-
机构
计算机系
-
出处
《中南工学院科技通讯》
1997年第1期46-48,共3页
-
文摘
计算机系统在运行中，要防止资源的非法访问，防止信息的窃听，基改，破坏，本文以微机为例讨论了应采取的措施。
-
关键词
计算机系统
安全运行
技术措施
-
分类号
TP338.09
[自动化与计算机技术—计算机系统结构]
-
