基于PKI系统安全等级保护评估准则的评估方法

随着PKI的逐步发展,对PKI进行评估变得越来越重要,安全保护等级评估是PKI评估的一个重要方面。该文结合层次分析法、线性加权评估法,提出了一种PKI安全保护等级评估方法,对PKI系统的安全保护等级评估进行了探讨。     

基于MPLS的流量工程——分布实时网络承载能力估计与分配模型

本文的主要工作是建立基于MPLS的流量工程模型.在商业运行的网络中,通过对已投资设施的充分利用获取竞争优势和商业回报的要求使得流量工程日益成为网络运营中不可缺少的手段.通过借鉴TCP和ATM的优点,结合面向连接和面向非连接两种处理方法的长处,建立一种基于MPLS的流量管理模型,该模型的特点是:管理功能模块边缘化,运输功能模块平面化,在高速,简单的运载核心上运行一个可管理的流量承载平台.模型的有效性通过两个方法得到评估.一是从形式上证明了模型运行状态的稳定性,完备性和对于时间轴的收敛性.二是使用Network Simulator建立模拟的网络环境验证对网络运行状态的优化结果.本文的工作基于以下重要概念:基于聚集的流量、流聚集、流量聚集点和流量分解点、扩充的链路耗费参数定义(承载能力占用率)、分布式公平队列等.     

基于Time Petri Nets的UML时序图分析

引入一种称为Clock的变迁,用来改进TPNs,讨论了如何将时序图转换为基于Clock变迁的TPNs,使这种TPNs能正确反映时序图的流程和时间约束。最后,利用普通Petri网的可达性分析技术对时序图模型进行了分析和验证。     

固件与固件工程

本文论述固件与固件工程的概念、方法和内容,说明固件工程与软件工程的关系,最后本文还论述了固件生命期的各阶段及其相互关系。     

分组交换与异种计算机联网

现今许多国家从事通信的部门和公司建立了许多公用分组交换网,本文论述用户设备进入分组交换网的方式和所使用的规程,以及论述通过分组交换网组建网络所应采用的ISO开放系统互连的七层模式。 本文分析了异种计算机联网的三种基本情况:进网的主计算机没有网络软件、有网络软件以及局部网进网。针对这三种不同情况,本文论述异种计算机联网及协议转换的方法。     

PKI撤销机制OCSP风险脆弱性研究

通过公钥概念和技术实施的提供安全服务的PKI(Public Key Infrastructure)作为Internet安全解决方案得到了越来越多的应用.PKI的主要目的是通过管理密钥和证书,可以为用户建立起一个安全的网络运行环境,使用户可以在多种应用环境下方便地使用加密和数字签名技术,从而保证网上数据的机密性、完整性、有效性.证书撤销技术是制约PKI大规模发展的瓶颈之一,国内外对主流之一的OCSP(Online Certificate Status Protocol)撤销机制的风险研究却尚未开展起来.综合分析了OCSP机制的安全风险和防范措施,填补了在此领域的空白.     

MPLS流量工程及其形式化研究

MPLS被认为是下一代IP骨干网络技术，而流量工程是合理使用网络资源保障QoS的关键．支持MPLS的路由器可以使用新的机制实现流量工程，通过在线或离线的算法计算LSP确保QoS．在综述了MPLS应用于流量工程的优势、QoS路由、接纳控制、重新路由、容量设计和部署等问题及其形式化研究等方面的最新工作的基础上，对几种MPLS QoS路由的算法进行了对比和总结，并分析了进一步的研究方向和问题．     

因特网AAA服务需求与Diameter协议

介绍AAA服务协议及其应用的基本模型。接着分析移动IP、NASREQ、ROAMOPS等新兴应用的特点和对AAA服务的功能需求,现有AAA服务协议RADIUS和TACACS 的内在不足以及与新的应用需求之间的差距。研究和分析指出Diameter协议不但能胜任现有应用对AAA的功能要求，而且完全满足新兴应用的需求。     

虚拟可扩展路由器架构的研究

路由器是组成计算机网络的实现中采用的一部分特殊技术作了深入的考察与分析.从中可以看出VERA是一种具有良好可扩展性的软件路由器架构,具有很好的应用前景和研究价值.