检索结果-内蒙古大学图书馆

计算机工程 2004年第9期30卷 65-67页

作者：戴祖锋张玉清胡予濮洪宏谢崇斌中国科学院研究生院信息安全国家重点实验室中国科学院研究生院国家计算机网络入侵防范中心北京100039 西安电子科技大学信息安全教育部重点实验室西安710071 西安电子科技大学计算机外部设备研究所西安710071

介绍了安全隐患扫描系统的基本概念及其现状；通过一个开发实例，从整体结构、功能模块、软件流程以及扫描技术的选择等4方面阐述了安全隐患扫描系统的设计要点；描述了整个系统的服务端、数据库端以及客户端的实现要点；说明了本系统... 详细信息

介绍了安全隐患扫描系统的基本概念及其现状；通过一个开发实例，从整体结构、功能模块、软件流程以及扫描技术的选择等4方面阐述了安全隐患扫描系统的设计要点；描述了整个系统的服务端、数据库端以及客户端的实现要点；说明了本系统的安全防护机制的特点。

关键词：安全隐患扫描系统插件库扫描技术安全防护机制

来源：评论

学校读者我要写书评

暂无评论

一种容忍入侵结构的Z规格说明

引用

系统仿真学报 2004年第12期16卷 2837-2841,2846页

作者：郭渊博史庭俊马建峰西安电子科技大学教育部计算机网络与信息安全重点实验室解放军信息工程大学电子技术学院河南郑州450004 天津工业大学计算机与自动化学院天津300160

面向对象的形式化规格说明语言Object Z在软件开发中的规格需求方面已广泛应用,但在安全关键系统开发中的应用还是空白。容忍入侵是一种全新的系统安全防护手段,是实现系统可生存性的一种方法,可用于安全关键性基础设施以及系统的基本... 详细信息

面向对象的形式化规格说明语言Object Z在软件开发中的规格需求方面已广泛应用,但在安全关键系统开发中的应用还是空白。容忍入侵是一种全新的系统安全防护手段,是实现系统可生存性的一种方法,可用于安全关键性基础设施以及系统的基本服务的保护。显然,在容忍入侵系统的开发过程中应用形式化的规格说明方法,保证所开发的系统能够满足系统的安全需求,可增强用户对所实现系统的信任。以Object Z方法对我们所设计的一个容忍入侵的会议密钥系统进行规格说明为例,将Object Z的应用扩展到安全关键系统的开发和设计领域。

关键词：形式化规格说明 ONect Z语言容忍入侵建模

来源：评论

学校读者我要写书评

暂无评论

Mobile IPv6中建立IPSec安全关联的一种新方案

引用

通信学报 2004年第6期25卷 102-108页

作者：李兴华马建峰西安电子科技大学计算机网络和信息安全教育部重点实验室陕西西安710071 信息安全国家重点实验室(中国科学院研究生院) 北京100039

Mobile IPv6的消息交互需要IPSec来提供安全保护,但什么时候建立IPSec安全关联会对Mobile IPv6的安全性、效率、计算量产生较大影响。传统的方法是当移动节点移动到外地网络之后需要时才建立,分析表明该方法效率低、计算量大、安全性差... 详细信息

Mobile IPv6的消息交互需要IPSec来提供安全保护,但什么时候建立IPSec安全关联会对Mobile IPv6的安全性、效率、计算量产生较大影响。传统的方法是当移动节点移动到外地网络之后需要时才建立,分析表明该方法效率低、计算量大、安全性差,不符合应用要求。本文提出移动节点在家乡网络中提前建立保护Mobile IPv6消息交互的安全关联,并给出了具体的方法。分析表明新方案较传统方法具有时延少、计算量小、效率高、安全性强的特点。

关键词： Mobile IPv6 IPSec 安全关联 IKE

来源：评论

学校读者我要写书评

暂无评论

基于身份密码系统下Canetti-Krawczyk模型的安全扩展

引用

中国科学（E辑） 2004年第10期34卷 1185-1192页

作者：李兴华马建峰文相在西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071 国立庆北大学移动网络安全技术研究中心

Canetti-Krawczyk(CK)模型是分析密钥交换协议的一种形式化方法, 如果一个密钥交换协议用该模型证明是安全的, 则CK模型能够确保该协议具备许多安全属性. 但是我们发现在基于身份的密码系统下该模型不具有确保密钥生成中心(KGC)前向保... 详细信息

Canetti-Krawczyk(CK)模型是分析密钥交换协议的一种形式化方法, 如果一个密钥交换协议用该模型证明是安全的, 则CK模型能够确保该协议具备许多安全属性. 但是我们发现在基于身份的密码系统下该模型不具有确保密钥生成中心(KGC)前向保密性的能力, 而对基于身份的密钥协商协议来说KGC前向保密性是一个重要的安全属性. 通过分析研究发现引起该缺陷的主要原因是CK模型没有充分考虑在基于身份的密码系统下攻击者的能力, 所以在该系统下通过对CK模型增添一个新的攻击能力: 攻陷KGC, 来对该模型进行了相应的扩展, 通过扩展该模型具有确保KGC前向保密性的能力.

关键词：安全属性密码系统密钥交换协议模型扩展形式化方法攻击者保密性密钥协商协议缺陷

来源：评论

学校读者我要写书评

暂无评论

安全扫描器综述

引用

计算机工程 2004年第2期30卷 5-7,22页

作者：戴祖锋张玉清胡予濮西安电子科技大学信息安全教育部重点实验室西安710071 中科院研究生院国家计算机网络入侵防范中心北京100039

安全扫描器是自动检测远端或本地网络和主机安全脆弱点的软件。文章介绍了安全扫描器的概念、功能、分类、体系结构、原理及软件结构,概述了当前安全扫描器采用的技术,同时分析两类安全扫描器的实现,并比较了它们的特性,分析了影响扫描... 详细信息

安全扫描器是自动检测远端或本地网络和主机安全脆弱点的软件。文章介绍了安全扫描器的概念、功能、分类、体系结构、原理及软件结构,概述了当前安全扫描器采用的技术,同时分析两类安全扫描器的实现,并比较了它们的特性,分析了影响扫描器的因素,并由此指出了扫描器的发展趋势。

关键词：安全扫描器网络型扫描器插件安全评估专家系统

来源：评论

学校读者我要写书评

暂无评论

网络安全扫描技术研究

引用

计算机工程 2004年第10期30卷 54-56页

作者：洪宏张玉清胡予濮戴祖锋西安电子科技大学信息安全教育部重点实验室西安710071 中国科学院研究生院国家计算机网络入侵防范中心

给出了网络安全扫描技术的概念、分类，对其中的两种主要技术——端口扫描技术和漏洞扫描技术以及它们的原理分别进行了详细阐述，讨论了各类端口扫描技术及部分技术的实现，并针对它们的优缺点进行了比较，介绍了各种漏洞扫描技术的实... 详细信息

给出了网络安全扫描技术的概念、分类，对其中的两种主要技术——端口扫描技术和漏洞扫描技术以及它们的原理分别进行了详细阐述，讨论了各类端口扫描技术及部分技术的实现，并针对它们的优缺点进行了比较，介绍了各种漏洞扫描技术的实现原理，指出了漏洞扫描中存在的一些问题并给出了一些完善化的建议。

关键词：网络安全扫描端口扫描漏洞扫描

来源：评论

学校读者我要写书评

暂无评论

基于通用攻击结构的秘密共享方案及其化简

引用

青岛大学学报（自然科学版） 2004年第2期17卷 31-35页

作者：郭渊博马建峰西安电子科技大学教育部计算机网络与信息安全重点实验室

借助集合论的相关概念设计了一种基于通用攻击结构的秘密共享方案,证明了该方案满足秘密共享所要求的秘密重构及完善保密两个基本特性。整个方案运行过程中只需执行简单的模加和模减运算,有着很高的计算性能。最后,又在参与方集合上定... 详细信息

借助集合论的相关概念设计了一种基于通用攻击结构的秘密共享方案,证明了该方案满足秘密共享所要求的秘密重构及完善保密两个基本特性。整个方案运行过程中只需执行简单的模加和模减运算,有着很高的计算性能。最后,又在参与方集合上定义了一种关于攻击结构的等价关系并给出了相应的化简方案,分析显示简化后的方案保持了原方案的基本特性。

关键词：秘密共享通用攻击结构写结构等价类化简

来源：评论

学校读者我要写书评

暂无评论

面向服务的容忍入侵方法与设计

引用

郑州大学学报（理学版） 2004年第2期36卷 62-66页

作者：郭渊博马建峰西安电子科技大学教育部计算机网络与信息安全重点实验室

分析了入侵与故障的区别,指出在安全领域直接使用容错方法将存在模型上的不可行性.提出了一种面向特定服务的容忍入侵方法,这种方法关注的是入侵的结果而不是入侵本身,即在保证系统功能连续的情况下,利用门限密码以及大数表决等技术检... 详细信息

分析了入侵与故障的区别,指出在安全领域直接使用容错方法将存在模型上的不可行性.提出了一种面向特定服务的容忍入侵方法,这种方法关注的是入侵的结果而不是入侵本身,即在保证系统功能连续的情况下,利用门限密码以及大数表决等技术检测入侵的存在,然后用容错技术重构和恢复受攻击的系统.详细介绍了这种面向特定服务的容忍入侵方法的信任模型、系统架构及设计,讨论了有关的几个研究方向.

关键词：面向服务容忍入侵门限密码大数表决容错系统失效网络安全

来源：评论

学校读者我要写书评

暂无评论

P2P技术的研究及其应用

引用

计算机网络世界 2004年第12期13卷 64-66页

作者：赵恒陈杰西安电子科技大学计算机网络与信息安全教育部重点实验室

P2P作为一种新兴的技术，由于其弱化或取消了传统Clinet/Server模式中Server成为瓶颈的限制、充分利用网络资源和带宽而受到广泛关注，本文首先介绍了P2P的概念及其两类结构模式，其次将P2P和C/S模式进行了比较，最后介绍了P2P技术的应... 详细信息

P2P作为一种新兴的技术，由于其弱化或取消了传统Clinet/Server模式中Server成为瓶颈的限制、充分利用网络资源和带宽而受到广泛关注，本文首先介绍了P2P的概念及其两类结构模式，其次将P2P和C/S模式进行了比较，最后介绍了P2P技术的应用及研究现状。

关键词： P2P技术类结构 C/S模式网络资源带宽瓶颈限制取消弱化概念

来源：评论

学校读者我要写书评

暂无评论

可信操作系统的设计

引用

电子科技 2004年第10期17卷 44-47页

作者：张光徐永强西安电子科技大学教育部计算机网络与信息安全重点实验室陕西西安710071

对可信操作系统进行了分析,与传统操作系统进行比较,针对其安全缺陷,就如何开发操作系统的安全机制和提高操作系统的安全性进行了探讨。提出了可信操作系统的设计方案,给出了设计可信操作系统开发原理和一般过程。

关键词：操作系统安全缺陷安全机制设计方案安全性开发一般过程传统

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：