基于可信密码模块的远程证明协议

可信密码模块是以我国研发的密码算法为基础,结合国内安全需求与产业市场,借鉴国际先进的可信计算技术框架与技术理念自主创新研发的.本文中首先对可信计算平台密码技术方案和国际可信计算组织规范在密码算法、授权协议和密钥管理等几方面进行了比较.基于可信密码模块,提出的基于隐藏属性证书的远程证明方案,用属性证书代替平台配置信息,不仅能有效防止隐私性的暴露,而且可以在系统升级和备份过程中完成可信检测,提高了实现的效率.     

一体化网络中可证明安全的三方认证协议

为了有效地保证终端、接入交换路由器和认证中心的安全,本文提出了一体化网络中可证明安全的三方认证协议．该协议实现了终端和认证中心之间及接入交换路由器和认证中心之间的相互认证,不仅可以有效防止非授权终端接入网络,还可以防止伪造的认证中心和接入交换路由器对终端的欺骗．在BR扩展模型下,可证明该协议是安全的．通过性能分析得出,协议具有很高的效率．     

在ACBS中程序自动生成的方法及应用

分析了自动生成程序的基本结构,并结合中央银行会计集中核算系统,论述了在具体应用中如何构造和使用自动生成程序.     

中央银行会计集中核算系统中打印工具的设计

中央银行会计集中核算系统(ACBS)是人民银行中心支行及其以上辖区内会计核算集中处理,实现中央银行资金清算的计算机网络系统.打印作为其中的一个子系统,有任务复杂,工作量大的特点.针对系统的特点,设计了一个比较灵活的打印工具,在短时间内用较少的编程人员完成了大量的任务,而且得到的代码可维护性很强.同时设计出来的工具只要做很少的修改,就能被应用在别的系统中,适用面比较广.     

基于自动信任协商的可信移动代码验证方法

移动代码具有智能型和移动性,对目标主机平台构成安全威胁.现有对移动代码的授权和认证方法多是以可信第三方的直接授权为基础.本文针对目前开放网络的特点,提出一种基于自动信任协商（ATN）的移动代码保护方法（ATMCVM）,该模型通过逐步披露证书的方法能够解决两个陌生的代码生产者和消费者间动态建立信任关系的问题.     

计算机曲线造型的分段保形二次样条

给出了一种新的分段保形二次样条插值算法，通过增加合适的插值点，构造分段保凸且保单调的平滑插值曲线，计算机数值实验表明该方法对所给的离散插值数据总能给出几何直观的相当漂亮的光滑曲线。算法简便易行，为计算机辅助曲线设计提供了新的有效方法。     

层次化混合神经网络分类器信念分配问题的研究

层次化混合专家神经网络采用"分治"原理,把一个大任务分成多个小任务由多个小网络进行处理,或者说多个具有不同功能的小网络组合成一个大的网络,用于实现复杂的或大数据量学习问题,提高单个网络的性能.在混合专家神经网络中,信念分配对神经网络性能起决定作用.本文研究混合神经网络中各子网络的协同工作方法,提出一种新的信念分配方法,实现层次化混合专家神经网络的信念分配与功能不断增强的分类器.     

网络地址转换的应用及其局限性分析

介绍了网络地址转换器(NAT)的基本原理和类型,总结了NAT的几种用途和它的应用现状,并对NAT的应用局限性进行了分析.探讨了NAT与几种网络安全协议的兼容性问题,重点分析了与IPSec协议的共存问题,并给出了解决办法.     

既有地铁线路运能提高信号系统局部改造方案举例简

信号系统是城市轨道交通中安全相关的核心系统,对运营效率起着关键的作用.结合既有线信号运能提高局部改造工程中的实施案例,列举信号系统设计中影响运能的几个关键点,为既有地铁线信号改造和新建线路的信号设计提供参考.     

基于队列的处理器亲和机制及在网络转发中的应用

提出一种新的基于多报文队列的处理器亲和机制,与传统基于网络接口的亲和机制相比,消除了多处理器对共享资源的竞争,优化了处理器的CACHE行为,降低了互斥锁的影响范围,能够有效提升多核处理器系统的网络转发处理能力.试验结果显示,在复杂网络环境下,基于队列的亲和机制报文转发性能较传统基于接口的亲和机制提高了1.8倍.