期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
基于图论的网络安全分析方法研究与应用 被引量:19
1
作者 汪渊 蒋凡 陈国良 《小型微型计算机系统》 CSCD 北大核心 2003年第10期1865-1869,共5页
当前 ,对网络的安全状况进行定量分析和预警日益显得重要 ,文中通过对漏洞库中的大量漏洞信息进行分析 ,提出对网络安全脆弱性的威胁程度进行定量分析的层次分析模型和指标体系 ,采用图论的方法对各种安全脆弱性信息进行关联分析 ,并在... 当前 ,对网络的安全状况进行定量分析和预警日益显得重要 ,文中通过对漏洞库中的大量漏洞信息进行分析 ,提出对网络安全脆弱性的威胁程度进行定量分析的层次分析模型和指标体系 ,采用图论的方法对各种安全脆弱性信息进行关联分析 ,并在此基础上构造入侵关系图模型 ,给出基于入侵关系图的网络安全威胁分析方法 。 展开更多
关键词 安全评估 层次分析法 图论 安全状况 网络安全
下载PDF
基于安全案例推理的网络安全分析方法研究与应用 被引量:8
2
作者 汪渊 蒋凡 陈国良 《小型微型计算机系统》 CSCD 北大核心 2003年第12期2082-2085,共4页
当前 ,对复杂网络环境下容易产生的安全漏洞关联与传播问题进行分析与推理是网络安全研究的一个重要方面 ,文中对网络漏洞关联问题进行了分析 ,提出了多点漏洞的概念 ,采用图论的方法对多点漏洞问题进行了数学模型描述 ;通过对网络安全... 当前 ,对复杂网络环境下容易产生的安全漏洞关联与传播问题进行分析与推理是网络安全研究的一个重要方面 ,文中对网络漏洞关联问题进行了分析 ,提出了多点漏洞的概念 ,采用图论的方法对多点漏洞问题进行了数学模型描述 ;通过对网络安全攻击案例进行建模分析 ,然后将网络漏洞信息组织成案例的知识表示形式 ,采用案例推理方法对多点之间的漏洞传播进行分析检测 ,并对漏洞检测中的风险进行了分析 . 展开更多
关键词 网络安全 多点漏洞 案例推理 风险分析 漏洞传播
下载PDF
基于贝叶斯网络的网络安全评估方法研究 被引量:15
3
作者 刘勃 周荷琴 《计算机工程》 CAS CSCD 北大核心 2004年第22期111-113,共3页
通过分析贝叶斯网络在计算机网络安全评估中的适用性,提出了一种新的网络安全评估方法。将贝叶斯网络应用于网络安全评估,建立了不依赖于安全漏洞的安全评估模型,引入虚拟主机概念解决多层网络结构的安全评估问题。结果表明,基于贝叶斯... 通过分析贝叶斯网络在计算机网络安全评估中的适用性,提出了一种新的网络安全评估方法。将贝叶斯网络应用于网络安全评估,建立了不依赖于安全漏洞的安全评估模型,引入虚拟主机概念解决多层网络结构的安全评估问题。结果表明,基于贝叶斯网络的网络安全评估方法能够综合考虑网络的特性(即先验信息)和环境(样本信息),减少主观偏见和噪声影响,能够缩短网络安全评估时间,而且易于实现。 展开更多
关键词 计算机网络 网络安全评估方法 贝叶斯网络 入侵检测系统
下载PDF
网络安全量化评估系统的研究与应用 被引量:7
4
作者 夏阳 陆余良 蒋凡 《计算机科学》 CSCD 北大核心 2003年第2期100-104,共5页
The rapid development of the Network makes the comprehensive analysis as well as the quantitative evaluation of its security become more and mere important. This paper illustrates the major realization process of a Ne... The rapid development of the Network makes the comprehensive analysis as well as the quantitative evaluation of its security become more and mere important. This paper illustrates the major realization process of a Network Security Quantitative Evaluation System,which,from an intruder's angle ,established a Hierarchy Intrusion Relationship Graph by analyzing the credit degree fusion and relevancy of the secure information of the target network and by combining with powerful database information. At last, by applying some relative mathematics model and arithmetic, the paper analyzes and evaluates the security of this Network Hierarchy Intrusion Relationship Graph comprehensively and quantitatively. 展开更多
关键词 网络安全量化评估系统 计算机网络 逆向工程 脆弱性
下载PDF
基于改进贝叶斯算法的信息安全模型 被引量:3
5
作者 陈福志 史杏荣 《计算机工程》 CAS CSCD 北大核心 2003年第20期116-118,共3页
很多网关系统和入侵检测系统被设计来保护信息系统的安全,其中一种安全隐患是现有网关系统的不完备性和入侵检测系统的虚警和漏警。该文总结了前人成果,改进了原有的入侵检测算法,提出了一个基于改进贝叶斯算法的新模型。该模型提高... 很多网关系统和入侵检测系统被设计来保护信息系统的安全,其中一种安全隐患是现有网关系统的不完备性和入侵检测系统的虚警和漏警。该文总结了前人成果,改进了原有的入侵检测算法,提出了一个基于改进贝叶斯算法的新模型。该模型提高了入侵检测系统的完备性和准确性,更有效地保障了信息系统的安全。 展开更多
关键词 入侵检测 规则检测 非规则检测 贝叶斯算法 信息安全 模型
下载PDF
安全通信协议模型EABRA的设计
6
作者 夏阳 陆余良 蒋凡 《计算机工程》 CAS CSCD 北大核心 2003年第6期131-133,共3页
提出了一种安全的通信协议模型EABRA,通过该模型可以简单有效地实现网络安全通信。首先对EABRA协议系统、体系结构以及状态转换进行了细致的阐述,然后用ESTELLE语言对协议模型的实现过程进行了具体的描述,最后对EABRA协议模型进行了... 提出了一种安全的通信协议模型EABRA,通过该模型可以简单有效地实现网络安全通信。首先对EABRA协议系统、体系结构以及状态转换进行了细致的阐述,然后用ESTELLE语言对协议模型的实现过程进行了具体的描述,最后对EABRA协议模型进行了正确性验证。 展开更多
关键词 通信协议模型 EABRA协议 计算机网络 设计 网络安全
下载PDF
基于面向对象模型的通信系统形式化规范
7
作者 张永谦 史杏荣 张晓燕 《小型微型计算机系统》 CSCD 北大核心 2004年第6期951-955,共5页
通信软件工程包括系统建模和设计实现两大阶段 ,分别采用非形式化技术与形式化技术 .定义了从非形式化的面向对象的图形语言 U ML ,到形式化的文本规范语言 ESTEL L E的完备的转换规则 ,并简要介绍了一个支持转换的软件工具的设计与实... 通信软件工程包括系统建模和设计实现两大阶段 ,分别采用非形式化技术与形式化技术 .定义了从非形式化的面向对象的图形语言 U ML ,到形式化的文本规范语言 ESTEL L E的完备的转换规则 ,并简要介绍了一个支持转换的软件工具的设计与实现 ,最后给出一个转换实例 .此工作的完成 ,使通信系统图形化的面向对象模型可直接转换为面向实现的形式化规范 ,在整个开发周期中得到应用 ,建立起了一套完整的通信软件工程体系 . 展开更多
关键词 通信软件工程 形式化技术 非形式化技术 UML ESTELLE
下载PDF
实时通信系统的优化实现方案
8
作者 陈福志 史杏荣 《计算机工程》 CAS CSCD 北大核心 2003年第2期129-131,141,共4页
通过“节点”进程和“观察者”进程统计出要设计的系统进程的时间特征和概率特性,采用吞吐量大的服务器模型和响应时间快的活动线程模型综合设计的方法来实现实时通信系统,在很大程度上提高了系统的吞吐量和响应时间。
关键词 实时通信系统 优化 观察者 服务器模型 活动线程模型 事务处理
下载PDF
使用OMT技术开发通信系统 被引量:1
9
作者 张永谦 史杏荣 《通信技术》 2002年第4X期14-16,共3页
利用对象建模技术OMT(ObjectModelingTechnique)进行高效、可靠的通信协议与系统开发已经发展为一项成熟的技术。开发中的一个关键技术,是如何把使用形式化描述语言所设计的协议与实际情况下的不同目标平台集成,完成整个通信系统。以一... 利用对象建模技术OMT(ObjectModelingTechnique)进行高效、可靠的通信协议与系统开发已经发展为一项成熟的技术。开发中的一个关键技术,是如何把使用形式化描述语言所设计的协议与实际情况下的不同目标平台集成,完成整个通信系统。以一个通信模型协议:AB协议为例,说明使用OMT进行通信协议开发的方法。介绍了如何把利用形式化描述语言设计完成的系统与目标平台集成的两种模式:“松”耦合与“紧”耦合。给出了AB系统使用“松”耦合模式在WIN2000下的集成方案。 展开更多
关键词 对象建模技术 扩展有限状态机 UML SDL AB协议 “松”耦合
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部