计算机工程

Select

Engineering Authority and Trust in Cyberspace(Abstract)

RaviSandhu

. 1999, 25(S1): 1.

摘要 ( ) PDF全文 ( )

可视化

Select

赛伯空间的工程授权和委托(摘要)

RaviSandhu

. 1999, 25(S1): 1.

摘要 ( ) PDF全文 ( )

可视化

过去几十年中出现了解决赛伯空间问题的解决方法。但构筑一个组织机构的信息系统安全性仍是难以捉摸的问题。本报告将论述满足这一目标的方法，并确定这一目标需要解决的问题。

Select

A Content-based Authorization Model for Digital Libraries(Abstract)

ElisaBertino

. 1999, 25(S1): 2.

摘要 ( ) PDF全文 ( )

可视化

Select

基于内容的数字文件库授权模型(摘要)

ElisaBertino

. 1999, 25(S1): 2.

摘要 ( ) PDF全文 ( )

可视化

数字文件库（DL）在组织、规范和改进合适的数据保护政策方面提出了复杂的要求。不同于传统的数据库环境，DL环境通常具有如下的特性，即往往是远程访问的动态的用户和以各种方式存储的极大量的多媒体信息。因此在DL环境中，存取政策往往基于用户的资格和特性，而不是基于用户的身份（如一个用户只要大于18岁就可访rqR级录象）。另一关键要求是，支持对数字文件库目标的取决于内容的授权。（例如，只有21岁以上的用户才能获得关于如何使用枪支的所有文件）。传统的授权模型不完全符合DL的存取控制要求。本报告将介绍一个适合于DL环境的基于内容的授权模型。该模型具有如下3个创新特性：（1）基于用户资格和特征的灵活的授权规范（包括正负授权）；（2）对DL目标的依附于内容和独立于内容的存取控制；（3）从特定部分目标到DL目标集在内的各种不同规模的授权目标。

Select

网络安全的三道防线一密码、协议和防火墙(英文)

卿斯汉

. 1999, 25(S1): 3-7.

摘要 ( ) PDF全文 ( )

可视化

讨论了密码、协议和防火墙边三道网络安全防线。首先评价了美国国家标准技术局颁布的15个先进加密标准的候选算法，从中可以看出密码的发展趋势。然后重点探讨了电子商务协议的逻辑分析。最后介绍了超级防火墙的新思想及其功能和设计原理。

Select

信息安全设计框架与安全保护等级划分

王立福,陈钟

. 1999, 25(S1): 8-9.

摘要 ( ) PDF全文 ( )

可视化

依据《计算机信息系统安全保护等级划分准则》（以下简称准则）的制定工作实践；基于信息安全设计框架，介绍了该准则中所给出的各安全保护等级的主要特征，以使支持计算机信息系统安全法规的制定，并为信息安全产品的研发提供功能框架，为安全系统的建设和管理提供技术指导。

Select

信息安全产品和信息系统安全的测评与认证

吴世忠

. 1999, 25(S1): 10-12.

摘要 ( ) PDF全文 ( )

可视化

Select

The Evolution of Access Control in Commercial Products(Abstract)

DavidFerraiolo

. 1999, 25(S1): 13.

摘要 ( ) PDF全文 ( )

可视化

Select

商务产品中访问控制的进展(摘要)

DavidFerraiolo

. 1999, 25(S1): 13.

摘要 ( ) PDF全文 ( )

可视化

过去的产25年中，人们在建立符合特定策略需要的访问控制方法方面作了大量的尝试。虽然各个方法成功地满足了特定的访问需要，但最终的技术在市场上令人失望。因为一个给定的访问控制方法虽然可以符合某个特定市场范围的政策要求，但在另一市场范囹可能完全不合适。同时，访问控制策略的变化之广泛恰如应用类型的变化。因此，在一个应用所需的保护不同于方法中的策略时，僵化产生了问题，不幸的是，唯一的解决办法只能把策略作为应用代码的一部分来实现，从而使策略容易受到篡改和绕过的攻击。为了解决这一问题，人们在把访问控制方法与策略分离方面做了大量的研究。具体的设想是如果有一个能够实现许多不同安全策略的通用方法，我们就可以采用一种策略规范语言来重新制定安全策略，不需改变整个方法。本报告将论述访问控制和授权管理技术的演变和发展，介绍从一个策略一种方法到目前尝试建立通用策略的原理。

Select

中国信息安全法律(摘要)

缪道期

. 1999, 25(S1): 14.

摘要 ( ) PDF全文 ( )

可视化

现在信息安全已成为人们谈论的热门话题，病毒传染、黑客攻击、计算十几名巴罪案件也常常见诸报端，引起了广大群众乃至党中央、国务院的注意。我国近年来针对计算机系统应用普及程度的提高和国际互联网络接入人数的迅速增多，国务院和有关部门已制订了一系列有关信息安全的法规以保障国家主权，维护人民的合法权益，打击计算机犯罪活动。本报告将对新刑法中有关计算机犯罪的条款，对国际互联网安全管理和计算机系统安全保护条例所调节的对象、内容、主管部门，禁止或必须遵守的条款进行全面介绍，本报告还将对计算机安全产品销售许可证管理办法中申请、检测、批准程序等作详细介绍，使生产厂商和广大用户了解这个法规的有关规定，形成良好的安全产品市场。

Select

The Information Security Law of China(Abstract)

MiaoDaoqi

. 1999, 25(S1): 14.

摘要 ( ) PDF全文 ( )

可视化

Select

电子商务中的安全付款问题──数字货币(摘要)

朱洪,郑宇良

. 1999, 25(S1): 15.

摘要 ( ) PDF全文 ( )

可视化

Select

网络安全软硬件产品的新发展(要点)

严明

. 1999, 25(S1): 16.

摘要 ( ) PDF全文 ( )

可视化

Select

利用角色对增强型存取矩阵模型(ATAM)的模拟(英文)

. 1999, 25(S1): 17-23.

摘要 ( ) PDF全文 ( )

可视化

相对于传统的自由选择存取控制（SAC）和强制性存取控制（NIAC），基于角色的存取控制（RBAC）是一种很有前途的选择。在RBAC中，在取许可是与角色相联系的．用户需成为角色的成页以取得角色拥有的存取许可。由于RBAC不项向于某一种策略，因此可灵活适应不同的安全策略。存取矩阵模型定义了另一种实行安全策略的机制。增强型再取矩阵模型（ATAM）是分类存取矩阵模型（TAM）的一种扩展，它由Sandllu定义并成为该类模型中相当着￡的一种。ATANI通过引入强分类（即各主体或对象一旦生成并属于一种特定类型后不再改变类型）来定义。ATAM就一般性存取控制策略的正则模型而言，已被认为是当今最流行的技术。最后形式化表述了ATAM可由对RBAC元素的适当组合构造来模拟。研究结果证明了RBAC的灵活性和对大范围分布式管理模型的适应性。

Select

身份系统中基于角色策略的可视化和管理方法(英文)

. 1999, 25(S1): 24-31.

摘要 ( ) PDF全文 ( )

可视化

近年来，出现了大量基于角色存取控制（RBAC）的商业实现和实验性实现。数个RBAC系统的中心都是一管理设施，由该设施显示并管理角色及角色继承关系。尽管这些管理设施较常规存取控制方法体现了巨大的管理优势，但对于一个具有良好结构的有向角色图的属性所能提供的种种特性而言，这些工具并未充分利用这些特性。为了最好地满足RBAC对大中型企业可真正伸缩适应的目标，要极大地依赖于用户／角色及角色／特权关系管理中角色图的特点和使用。描述了一个以图为中心的RBAC实现，称之为角色控制中心（RCC），这一实现可以满足即使是最大型企业的各种目标。

Select

支持查询的扩展CIDF(英文)

. 1999, 25(S1): 32-41.

摘要 ( ) PDF全文 ( )

可视化

为发现包含多个站，点的协同攻击，各入侵监测系统共享信息是至关重要的。公共入侵监测系统架构（CIDF）便是迈向使不同的入侵监测与响应（IDR）组件完成互操作的重要一步。尽管CIDF为某IDR组件理解另一组件发出的信息提供了基础框架和语言支持，但它并不包含使一个IDR组件向另一个组件要求特定信息的设施。这种设施的缺乏可能导致处理时间、存储容量与网络带宽的浪费。在CIDF采用的公共入侵规范语言（CISL）之上，提出了一种CISL的扩展形式以对CIDF组件间的询问活动建模。该扩展不仅简单而且与原有CISL保持一致。在扩展中，每次对信息的询问都被描述为由相关信息和可选的答复格式要求组成的模式。在对询问过程的建模中，模式的使用不但提供了一种表示查询的方式，还带来了对基于签名的入侵监测软件的重用可能。

Select

使用基于角色存取控制的集成安全系统(英文)

SylviaOsborn

. 1999, 25(S1): 42-47.

摘要 ( ) PDF全文 ( )

可视化

基于角色的存取控制提供了一套极其灵活的机制来管理具有多用户、多对象、多应用的复杂系统的存取控制。Nyanchama和Osborn的角色图模型即为一个基于角色的存取控制如何被实现的范例。在以往的研究中，也已表明了已有系统的存取控制信息是如何被抽取并重视为角色图的。研究进一步表明，当两个系统进行集成时，它们的角色图也可以被集成。

Select

证书撤销机制的改进

龚俭,刘建航

. 1999, 25(S1): 48-50.

摘要 ( ) PDF全文 ( )

可视化

证书撤销机制是影响PKI服务可靠度的关键因素之一。针对制约CRL机制有效性的两个要素，提出了两种改进方案：CRL缓存服务用于降低证书验证所引起的全局流量；CRL分组用于减小CRL的长度。并以一些实例说明了改进后的CRL机制的工作过程。

Select

椭圆曲线密码体制在盲数字签名中的应用

杨晓元,赵霖,张泽增,韩益亮

. 1999, 25(S1): 51-52.

摘要 ( ) PDF全文 ( )

可视化

在椭圆曲线密码应用方面作了一些探索，设计了一类基于椭圆曲线密码体制的盲数签名方案，方案中提出了对消息采用椭圆曲线密码体制盲化的方法。签名方案具有较高的安全性，时间开销和数据存储方面均优于RSA盲签名方案，在实际应用中是可行的。

Select

一种基于规则的安全日志范式分析模型(英文)

王倩,陆晟,龚俭

. 1999, 25(S1): 53.

摘要 ( ) PDF全文 ( )

可视化

通过日志分析，能够有效地掌握系统运行情况、加强系统维护与管理。但由于原始日志数据量大，格式多变，难以对其进行直接处理，需要寻求更为有效的分析方法。该文面向安全日志，介绍了范式分析的思想，提出了一种基于规则的安全日志范式分析模型，并给出了实现示例。

Select

一个基于神经网络的入侵检测系统

汪立东,李亚平,方滨兴,贺龙涛,薛园

. 1999, 25(S1): 56-58.

摘要 ( ) PDF全文 ( )

可视化

当前的入侵检测技术主要有基于规则的误用检测和基于统计的异常检测。提出了一个多Agent入侵检测系统原型。在进行用户异常检测的同时，基于多数人侵者都是以已经确定的模式实施攻击这一事实，加入了网络入侵检测和特权程序执行追踪功能。可以利用多Agent的自治和合作来提高检测结果的准确性。各Agent用神经网络构造，可以利用其学习、快速识别和对噪音数据的处理能力，同时使系统具有更好的适应性。为了解决种经网络处理时间系列输入引起的拓朴和训练的复杂性，引入了事件滑窗来为神经网络提供输入，从而使用简单的前馈网络和BP算法即可获得较好的检测效果。

Select

一种基于IP的VPN安全机制

潘理,杨宇航,顾尚杰

. 1999, 25(S1): 59-60.

摘要 ( ) PDF全文 ( )

可视化

虚拟专用网络（VPN）的安全性是企业最为关注的问题。传统的基于防火墙的安全系统已不能满足企业不断增长的安全需求。提出了一种基于IP安全协议的VPN安全机制，分析了其体系结构并讨论了它在操作系统中的实现方法。这种安全机制的实现对上层应用和用户都是透明的。使用不同的加密算法，它可以在网络层中提供完整性、保密性、可鉴别性和不可否认性等服务，从而增强了VPN的安全性。

Select

电子投票系统的安全问题(英文)

. 1999, 25(S1): 61-64.

摘要 ( ) PDF全文 ( )

可视化

已有几种电子投票系统被提出以取代现有利用电话、信函等工作的投票系统。然而，许多电子投票系统或是完全或是部分地忽略了电子投票的安全问题。这已经阻碍了对电子投票的普遍接受和信任。讨论并指出了产生于电子投票中的不同安全问题。文章的工作是一次理解电子投票系统风险的尝试，而这种尝试对定义防止欺骗与滥用的安全措施是极为重要的。最后描述了一种原型系统。

Select

移动通信系统中的代理用户认证方案

董雨果,郑连清

. 1999, 25(S1): 65-66.

摘要 ( ) PDF全文 ( )

可视化

基于令状部分委托代理签名、CPark数字签名及Rabin方案，为移动通信系统设计一种代理用户认证方案，并对该方案的安全性和效率进行分析。

Select

ATM网络安全系统实现中的关键技术

张晓菲,王亚弟

. 1999, 25(S1): 67-69.

摘要 ( ) PDF全文 ( )

可视化

详细介绍了ATM网络安全系统实现中安全服务协商和安全数据交换阶段的两项关键技术一安全信令和密码同步。提出了一种基于ATM局域网的安全信分协商方案，其改进方案适用于安全强度要求较高的广域网。此外，在分析信无丢失对密码系统影响的基础上，提出了一种基于同步令牌的密码同步解决方案，针对不同业务类型，分述了同步分牌的插入及结构。

Select

用Microsoft VC++6.0的套接字实现一个VPN

丁岳伟,王景寅,施雪松

. 1999, 25(S1): 70-72.

摘要 ( ) PDF全文 ( )

可视化

主要讲述网络安全的解决方案－VPN（virtualprivatenetwork），即虚拟专用网。它用Internet代替租赁专线实现不同地点网络的安全互联。对于在世界各地拥有许多分支机构的企业来说，VPN是一个较理想的解决方案。首先介绍了VPN的两个关键技术，然后提供了一个VPN实现的框架。在MicrosoftVC＋＋6.0环境下的VPN程序则展现了VPN的实际工作过程。在VPN的程序中，用到了MFC的CAsyncsocket类。通过套按字成员函数的调用，完成向对方发送和接收数据的工作。数据的传输均经过非对称会话密银交换和TEA加／解密算法处理。

Select

图象在声音和图象中的隐藏

闫伟齐,丁玮,齐东旭

. 1999, 25(S1): 73-75.

摘要 ( ) PDF全文 ( )

可视化

从计算机图形学的角度对图象在声音和图象中的隐藏问题进村了讨论。首先将图象隐藏在声音中，而声音的这种改变对人的听觉来讲是不可察觉的。其次，将图象隐藏在图象中，这种包含有其它囹象的图象信息是人的视觉无法分辨的。最后将格雷码引入到抗干扰实验中，给出了实验结果。此外，还提供了一些图象隐藏的新概念和新方法。

Select

防火墙访问效率与安全性间的平衡及透明度的提高

罗吉安

. 1999, 25(S1): 76-78.

摘要 ( ) PDF全文 ( )

可视化

网络安全的重要性越来越显著，防火墙作为增强网络安全的一种手段，其作用是显而易见的。但是，防火墙也带来一些负面影响。主要讨论如何通过正确、有效地配置防火墙常用服务（如NAT，DNS，VPN）来平衡安全性和通信效率以及如何提高防火墙的透明度。

Select

一种可应用于电子商务安全的数字签名

王华,段田东

. 1999, 25(S1): 79-80.

摘要 ( ) PDF全文 ( )

可视化

电子贸易（EC）的出现推动了Internet的发展.对市场经济也起了非常大的促进作用，同时使人们体会到信息安全的重要性。在EC的过程中，为了保护数据的真实性和被他人篡改后能发现，数字签名是不可少的。讨论了EC的安全和设计了一种新的数字签名，该数字签名可保护在EC中交换数据时数据的安全且签名方案的安全与RSA的安全等同，并且可控制签名方的签名次数。

Select

基于DTP中间件的VPN

佘堃,周明天

. 1999, 25(S1): 81.

摘要 ( ) PDF全文 ( )

可视化

Internet正在向电子商务发展，其上的安全显得越来越重要。虚拟专用网（VPN）作为其中的关键技术之一，具有重大的应用前景。同时，基于DTP的中间件已在许多关键任务（商务）领域得到巨大应用，因此在讨论了VPN和DTP中间件的共性后，认为在DTP中间件上建立VPN是非常实际、非常现实的事情，并给出了在DTP中间件上建立VPN的方法和改进后的粗粒度状态图。

Select

数字城市的一个安全概念模型

毛卫良,丁鹏,李明禄,盛焕烨

. 1999, 25(S1): 83-86.

摘要 ( ) PDF全文 ( )

可视化

从技术的角度讨论了数字城市中的安全问题，并提出了数字城市的一个安全概念模型。Internet是构建数字城市的基础，它的安全问题本身将成为数字城市中主要的安全问题，因此，首先就Internet中的安全问题进行了讨论；社会活动是数字城市提供的主要服务，但Internet上社会活动的成功实现将主要取决于安全问题的解决，因此；以电子商务为例讨论了实现网上社会活动时的安全问题；数字城市通过提供智能代理将给数字城市中的“市民”提供智能、方便的用户界面，而智能代理中的安全问题本身是复杂而又很难解决的，因此，讨论了代理中的安全问题；基于以上安全问题的讨论，最后给出了数字城市中安全问题的一个概念模型。

Select

一种虚拟私有网络模型的实现

蒋韬,周崧,李信满,刘积仁

. 1999, 25(S1): 87-89.

摘要 ( ) PDF全文 ( )

可视化

VPNR求是解决网络安全问题的一条有效途径。在分析了VPN技术的特点和IPSec规范原理的基础之上，提出了一种VPN系统设计模型，不同于一般VPN系统模型，该模型考虑了群组通信和QoS的需求。同时，还着重讨论了具体实现中的Linux内核重构、密钥更新、基于策略的信息过滤以及QoS控制等关键技术。最后，对VPN技术的推广与应用提出了自己的看法。

Select

IPSEC中密钥管理协议的研究

沈一平,许勇,吴国新

. 1999, 25(S1): 90.

摘要 ( ) PDF全文 ( )

可视化

因特网安全关联与密钥管理协议ISAKMP是在两个或多个主机之间可靠的建立安全关联和加密密钥的一个重要协议。首先介绍了它在用IPSEC构建的虚拟专用网VPN中的作为密钢管理的实现框架，然后详细分析了两个希望安全通信的系统之间如何使用ISAKMP/Oakley协议在第一阶段建立安全关联和交换密钥的过程。

Select

基于移动代理计算模型的安全

朱海林,王亦斌,张迎,张根度

. 1999, 25(S1): 93-95.

摘要 ( ) PDF全文 ( )

可视化

移动代理可视为由客户机器生成的程序派送到网络中漫游以寻找合适的机器予以执行后将结果返回或送到特定的主机。基于移动代理的计算在诸多方面有着比传统的基于RPC或消息机制的计算更适合实现分布式计算的优势。在对基于移动代理的计算模型简单介绍后，对其优点做出评估。尽管这祥，这种计算模式还是带来了许多显著的安全上的问题．将分析出安全上的威胁．从而从两个方面来得出基于移动代理计算模型的安全需求。之后，将考察现有的该问题的对策．特别是移动加密方案。也将给出一种重要的应用图景作为例子来诠释基于移动代理计算的安全解决方案。基于移动代理的计算安全是一个涉及面广并且远未成熟的研究领域，因此最后将做出一个简要的对此问题更深的考虑和未来工作的可能的方向的评述。

Select

透明网络安全体系结构的研究

陈福民,刘玉莎,张晔,张志浩

. 1999, 25(S1): 96-99.

摘要 ( ) PDF全文 ( )

可视化

针对当前各种应用和服务在解决网络安全问题时需各自为政的局面，文章旨在提出一种应用与安全相独立的透明网络安全体系结构，从而使应用开发人员在无须考虑安全问题的前提下，真正将精力全部投入到应用逻辑的开发中去，同时，这也有利于将各自的安全问题作为一个整体来综合考虑，以形成一套一体化的企业级安全策略。

Select

基于KDC的网络安全模型设计

张晔,刘玉莎,陈福民,张志浩

. 1999, 25(S1): 100-104.

摘要 ( ) PDF全文 ( )

可视化

对现有安全技术普遍存在的若干隐患与不足进行了深入的探讨，并提出了一种用于构筑安全内部网的新型体系结构一嵌入式防火墙系统（EFS），该模型以Kerberos认证协议为核心，并集授权、安全数据传输和审计等机制于一体。此外，由于EFS在网络层上设计并实现，这就避免了在各个应用程序中分别考虑安全问题；从而形成了一套透明的网络安全基础设施。

Select

混沌同步保密通信技术及软件实现

翁贻方,潘永盛

. 1999, 25(S1): 105-107.

摘要 ( ) PDF全文 ( )

可视化

给出一种基于混沌同步保密通信技术的软件实现。为获得高执行速度，提出了适合于软件实现特点的混沌掩盖保密通信方案。该软件可用于处理任何类型的文件。它具有恢复精度高、执行速度快、保密度高的特点，其等效密钥长度为600位。并给出示例显示了算法和程序的有效性。

Select

基于代理的虚拟市场中的恶意代理问题研究

丁鹏,盛焕烨,毛卫良,李明禄,郝琴

. 1999, 25(S1): 108-110.

摘要 ( ) PDF全文 ( )

可视化

主要论述了在基于代理的虚拟市场中的恶意代理问题。前言中简要介绍了目前国际上正在研究的虚拟市场：MarketMaker，Kasbah，AuctionBot，BargainFinder，Jango，AdHound，FireFly。第一节中根据这些虚拟市场给出了一个模型。第二节深入讨论了在虚拟市场中的恶意代理带来的问题。最后一节给出了一个解决问题的模型。

Select

基于BGP的多防火墙并行路由结构设计

严伟荣,蔡士杰

. 1999, 25(S1): 111-113.

摘要 ( ) PDF全文 ( )

可视化

在分析NAT、咱由冗余、负载均衡以及路由对称性的工作机理的基础上，提出了一种基于BGP路由协议的工作结构，该结构利用了BGP的MED属性，达到动态路由冗余以及负载均衡的能力，同时增加了总体通过带宽。

Select

电子商务认证机构问题研究

杨坚争

. 1999, 25(S1): 114-116.

摘要 ( ) PDF全文 ( )

可视化

认证机构主要解决电子商务活动中交易参与各方身份、资信的认定，维护交易活动的安全。中国电子商务认证机构的建设应遵循权威性、真实性、快捷性、机密性、经济性原则，发挥私人和国家两个方面的积极性。就国家认证机构而言，应形成“直线职能认证系统”。直线认证系统包括国家认证中心和省市认证中心，职能认证系统包括身份认证系统、资信认证系统、税收认证系统和外贸认证系统，从而形成一个类似于企业管理“直线职能制”的高效认证体系。

Select

基于VPN技术的Web电子支付系统的研究

许强,李信满,赵宏

. 1999, 25(S1): 117-120.

摘要 ( ) PDF全文 ( )

可视化

提出了一种具有二级安全结构的基于VPN技术的电子支付系统体系结构，并在具体实现的基础上对其安全性及性能进行了验证。

Select

一种新的概率公钥加密体制

李益发,陈钟,南湘浩,段云所

. 1999, 25(S1): 121-122.

摘要 ( ) PDF全文 ( )

可视化

提出了一种新的基于离散时数的公开赛胡概率加密方案，并对其安全性作了简要的讨论。

Select

一种适合于透明代理机制的用户认证方案

邱卫东,李萍,谷大武,陈克非,白英彩

. 1999, 25(S1): 123.

摘要 ( ) PDF全文 ( )

可视化

提出一种基于用户权限进行认证的方案，它具有效率高、安全性好等特性。该方案不仅能和各种防火墙系统很好地结合起来，而且非常适用于针对用户访问权限有限制的场合，具有很好的实际应用前景。

Select

迭代型分组密码的密钥编排模型(英文)

谷大武,邱卫东,陈克非,白英彩

. 1999, 25(S1): 126.

摘要 ( ) PDF全文 ( )

可视化

密钥编排是迭代型分组密码体制设计的一个重要环节。基于DES提出了一种新的三重加密方案，改进了L.R．Knudsen给出的密钥编排算法；基于流密码的非线形组合生成器和状态滤波生成器提出了两种密银编排算法模型。

Select

使用电子现金的安全系统(英文)

徐寿怀,张根度,朱洪

. 1999, 25(S1): 129.

摘要 ( ) PDF全文 ( )

可视化

提出了一种新方法来保护使用电子现金的计算机系统，电子现金是一个最近得到广泛研究的概念。该文的第一个贡献在于利用电子现金作为密码，使得在某种程序上这种密码成为对系统一次性密码的扩展。然而，一次性密码的缺陷我解决方案中不再出现。另一贡献是一种基于安全体系的电子现金，这一安全体系是用在诸如计并网络一类应用上的。可以论证，这种电子现金比方文献[3]中提出的解决方案更为简单高效．因为它不需要复杂的下层“映射基础结构”。

Select

构造基于X.509公钥证书的密钥管理系统

韦卫,杜炜,王行刚

. 1999, 25(S1): 133.

摘要 ( ) PDF全文 ( )

可视化

CA及公钥证书是目前Internet上各类安全应用系统的主要密钢管理方式。这里首先描述了在Internet分布式网络环境下管理公钢的PKIX.509证书管理模型及其研究进展，提出了基于PKIX．509公钥证书的密钢管理系统的设计方案，利用LDAP目录服务和存取协议．给出了构造证书服务器的方法以及安全认证方法。

Select

移动Agent中的安全性:问题及对策

翟永顺,杨鲲,刘大有

. 1999, 25(S1): 136-138.

摘要 ( ) PDF全文 ( )

可视化

移动Agent在拥有很多优点的同时，也面临着来自于恶意的Agent或主机的安全性方面的威胁。探讨有关移动Agent安全性方面的问题和对策，给出双向、分层控制的安全控制模型，并且探讨了受限执行和病毒检测等和移动Agent安全性有关的其他问题。

Select

形式化验证认证协议的研究

肖德琴

. 1999, 25(S1): 139-141.

摘要 ( ) PDF全文 ( )

可视化

认证协议设计和实现的安全性分析是网络安全的重要课题，越来越多的人关注这个方向的发展。在此系统地讨论了认证协议形式验证研究的前沿课题和发展趋势，并介绍了基于时序逻辑的认证协议研究成果和基于时序逻辑的ModelChecking的构想。

Select

基于网关证技术的信息出关控制模型

陈钟,段云所,唐礼勇

. 1999, 25(S1): 142-143.

摘要 ( ) PDF全文 ( )

可视化

提出基于同关证检查技术的信息出关控制模型。该模型强调信，包从内部网流出到外部网时，必须经过网关的检查。首先，所有出关的信息必须带有内部网签发的出关证；其次，出关的信息必须经过密级检查，只有符合出关密级控制规则的信息才能出关。

Select

一种结合自动指纹认证与密码技术的安全机制

王星明,田捷,武岩

. 1999, 25(S1): 144-146.

摘要 ( ) PDF全文 ( )

可视化

密码技术被广泛应用于信息安全领域。就密码技术中的一些缺陷进行了简单的论述，并提出一种可靠性较高的基于自动指纹认证的改进方法，从而使得网络用户无须自己保存其密钢也可以安全地与其他用户通信。自动指纹认证系统的结果表明，该方法在解决用户的密钥保存的问题上具有很好的效果。

Select

一个基于Web的安全电子商务系统的组合模型(英文)

梅杰

. 1999, 25(S1): 147-151.

摘要 ( ) PDF全文 ( )

可视化

虽然已经有人提出了一些电子商务系统安全问题的解决方案，有些安全问题仍然需要关注：如：拒绝服务攻击、持续入侵和缺乏安全技能。信息安全系统专家从黑客角度考虑信息安全问题具有重要的意义。首先介绍了信息安全系统的组合模型，并提出了影响基于Web的电子商务系统的安全问题，其中主要从网络和系统安全等角度进行讨论。提出了针对基于Web电子商务系统的安全方莫决的设计方法，并给出了解决有关安全问题的方法。对一个自行开发的黑客入侵防范系统进行案例研究，并改进了组合模型，试图设计一个安全电子商务系统的原型。

Select

一种新的群签名系统

杨良海,陈克非

. 1999, 25(S1): 152-153.

摘要 ( ) PDF全文 ( )

可视化

提出一种新的群签名系统，它具有以下特点：第一，群的公钥与签名大小是固定的并独立于群的成员个数；第二，可以在不改变群的公钥的情况下动态增加群的成员。

Select

BO网络入侵的实时检测

范晓岚,姜建国,曾启铭

. 1999, 25(S1): 154-155.

摘要 ( ) PDF全文 ( )

可视化

针对目前网络上BO（BacOrifice）攻击泛滥的情况，分析了BO的危害和攻击原理，讨论了实时检测BO入侵的技术途径和解决方案。

Select

密码协议的SMV分析:实例研究

张玉清,朱宏儒,肖国镇

. 1999, 25(S1): 156-158.

摘要 ( ) PDF全文 ( )

可视化

SMV是分析有限状态系统的一种工具。提出了使用SMV来分析密码协议的方法。为了说明这种方法的可村住，用SMV分析了Needham－Schroeder公钥协议。并成功地找到了对此协议的著名攻击．

Select

基于对象Petri网的网络认证协议表示及分析

刘东喜,赵玉源,李小勇,白英彩

. 1999, 25(S1): 159.

摘要 ( ) PDF全文 ( )

可视化

提出用对象Petri网表示网络认证协议的方法。这种方法能反映协议的动态特性，也利于体现协议执行主体可利用的资源。最后，总结出可把协议的安全性问题转化为Petri网单个位置的1-可达性问题。

Select

异构网络安全管理的设计

吴刚,敖青云,李瑞霞,白英彩

. 1999, 25(S1): 161-163.

摘要 ( ) PDF全文 ( )

可视化

网络安全是系统管理的核心管理功能之一。为解决日趋复杂的大规模异构分布式网络环境中的安全性问题，提出了一种新颖的基于分布对象的网络安全管理实现方案。围绕这一解决方案，具体讨论了以CORBA规范作为开发平台设计的原因，深入研究并详细描述了一种实现安全管理新的协议算法，并对协议的安全性和运行性能作了进一步的探讨和分析，给出了适当的系统评价。

Select

面向万维网应用的表单签名技术及其实现

高百明,金晓耿,吴承荣,张世永

. 1999, 25(S1): 164.

摘要 ( ) PDF全文 ( )

可视化

分析了当前万维网应用中所普遍存在的数据完整性和不可抵赖性问题，提出了解决这个问题的办法，并且讨论了表单签名的运村流程和实现要点，对今后表单签名技术的进一步发展和完善作了展望。

Select

入侵检测方法概述

郭巍,吴承荣,金晓耿,张世永

. 1999, 25(S1): 167-170.

摘要 ( ) PDF全文 ( )

可视化

主要研究了异常检测和滥用检测两大类入侵检测的方法，比较了各种方法的优缺点以及可能的改进，并给出了分析这两类检测方法后的结论。

Select

网络安全审计系统的设计和实现

吴承荣,廖健,张世永

. 1999, 25(S1): 171-174.

摘要 ( ) PDF全文 ( )

可视化

首先介绍了计算机网络安全审计的概念、国际上对安全审计的一般认识以及CC标准对信息系统安全功能中的审计功能的定义，然后介绍了一套分布式多层次审计系统的方案及特点，以及在这个审计系统中采用的一些技术和算法。

Select

对大规模PKI中CRL分发机制的分析和比较

金晓耿,高百明,吴承荣,张世永

. 1999, 25(S1): 175-178.

摘要 ( ) PDF全文 ( )

可视化

CRL是PKI中处理证书撤销的最常用方法。通过分析X.509v1CRL存在的问题，提出了在大规模PKI中评价CRL分发机制的5个准则。一种好的分发机制应该尽可能减小信任方所需下载的CRL大小，降低CRL库的峰值负荷和/或平均负荷，减轻CRL的时间碎片问题，同时可以根据信任方的不同需求提供不同的服务，可以动态更新CRL的分割策略。如果还可以不对原客户端程序做很大改动，甚至不需要改动，那就更好了。另外利用这些评价准则，对当前主要的几种CRL分发机制的改进方法，包括CRL分发点、Delta－CRL、重叠发布CRL、最新撤销信息指针和重定向指针，详细地进行了分析和比较。

选择文件类型/文献管理软件名称

选择包含的内容

1999年, 第25卷, 第S1期　刊出日期：

模态框（Modal）标题

选择文件类型/文献管理软件名称

选择包含的内容

1999年, 第25卷, 第S1期 刊出日期：

1999年, 第25卷, 第S1期　刊出日期：