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

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

基于自适应大数表决机制的容忍入侵模型

针对容忍入侵系统中自适应能力较差的问题,提出了一种基于自适应大数表决机制的容忍入侵系统模型。该模型采用了适当的复制技术和自适应大数表决技术,使系统即使在遭受到恶意攻志的情况下仍能安全、可靠地运行,并能有效地识别出有故障的复制品,从而达到了容忍入侵的目的。通过使用基于前几轮表决的历史记录,使得表决器表决出的输出值更准确、更可靠并能及时地移除掉有故障的复制品。分析表明,方案具有安全性强,可靠性高,系统性能好以及易于实现等优点,特别适应用于对系统安全性、可靠性、可生存性,以及系统效率要求较高的分布式环境中。     

重叠组情形下全序多播协议的研究与实现

讨论了计算机网络安全领域中容忍入侵、复制技术、群组通信和全序广播之间的内在关联,分析了全序与全序多播的基本概念及属性,研究了重叠组情形下的全序多播及其在容忍入侵的群组通信系统中的实现问题,利用独立的组之间的全序多播协议Totem_Total,提出了一种能在重叠组之间保证全序的多播协议实现方案,给出了详细的伪代码描述并进行了分析.     

新型的稳健盲多用户检测

基于稳健的Capon波束形成技术，提出了一种新型的稳健盲多用户检测器．根据特征波形的误差范围，该检测器可以较精确计算控制稳健性的对角加载量．结果表明，研究方法在比特误码率以及渐进多用户有效性等方面表现出良好的性能，且采用特征分解自适应跟踪算法，容易推广至自适应实现．     

配平氧化－还原反应方程式的智能数据库

应用计算机编程解决氧化－还原方程式自动配平问题，程序分主程序和数据库，分别用于各过程的处理及数据提供．     

计算机与化学（Ⅰ）

本文就计算机与化学结合从而产生一系列边缘学科及其所涉内容作扼要介绍．重点就数值方法、非数值方法在化学中的应用及实验室自动化（联机）作了叙述．     

基于可信计算的CSCW系统访问控制

针对现有的CSCW系统不能有效地保障终端平台的可信性以及安全策略和上层应用实施的完整性等问题,提出了基于可信计算技术的CSCW访问控制架构和协作站点间的基于角色的委托授权策略,分别描述了安全策略与共享对象密钥的分发协议、角色委托协议及策略完整性实施协议等.应用实例表明:该框架基于完整的协作实体-平台-应用信任链的构建,提供了可信的协作实体身份与访问控制平台,依赖平台远程证明和策略分发实现了在本地站点上的完整性实施;同时角色委托提高了协同工作能力,也减轻了服务器端集中式策略执行的负担.     

一种WLAN Mesh网络快速切换认证方法

针对WLAN Mesh网络中Mesh接入点(MAP)移动时快速切换认证过程中存在的安全问题,采用基于邻居图的快速切换方法和基于矩阵的密钥预分配方法,提出一种快速切换认证方案,该方案能够适应具有移动MAP的WLAN Mesh网络场景.利用Canetti-Krawczyk模型对提出的认证方案进行安全性分析,并对方案中所需的计算和存储代价进行估计.结果表明,在伪随机函数和消息认证码函数是安全的前提下,方案中的认证协议在UM中是SK-安全的,且该方案具有较小的计算和存储代价.     

基于PCL的改进型Helsinki协议的形式化分析

针对改进型的Helsinki协议安全性问题,利用协议组合逻辑PCL对协议进行形式化分析.首先使用基于"Cords演算"的程序描述语言对协议本身进行形式化描述,然后通过协议逻辑描述协议的安全属性,最后给出性质和定理,并通过逻辑推理证明改进型Helsinki协议满足其安全要求,该协议是安全的.