在线仿真器中CPU的共享处理

本文通过μＰＤ７８１１单片机在线仿真器的设计与开发，介绍了单ＣＰＵ在线仿真器中ＣＰＵ共处理的原理及具体实现。     

基于IPv6的信息审批机制

该文针对如何防止网络内部信息的主动泄露,在分析IPv6协议的基础上,通过扩展IPv6协议,提出了基于IPv6的信息审批机制。     

一种端到端ATM网络安全通信系统的设计与实现

文章提出了一种端到端的ATM网络安全通信系统,介绍了其端系统的设计方案,讨论了系统中各种安全服务的设置,并阐述了系统中各功能部件的实现。     

基于攻击意图的复合攻击预测方法研究

入侵检测系统仅能检测到攻击,但不能预测攻击者下一步的攻击.分析了基于攻击行为预测方法的不足,提出了一种基于攻击意图的复合攻击预测方法.该方法使用抽象的攻击意图表示复合攻击,采用扩展的有向图表达攻击意图间的逻辑关系,建立了攻击匹配的攻击意图框架,在复合攻击预测算法中引入了攻击检测度和攻击匹配度两个概念.最后,通过实验验证了该方法的有效性.     

基于概率多项式时间进程的安全协议分析

针对Spi演算在安全协议分析中存在的局限性，通过引入概率多项式时间进程，提出一个分析安全协议的新方法。该方法是对Spi演算的改进，在该方法中攻击者是概率多项式时间进程，协议的安全性用概率可观察等价性表示。通过对一个基于ElGamal加密和Diffie-Hellman的密钥交换协议分析，证明了该方法的可行性和有效性。     

基于Struts架构的J2EE应用软件的设计与开发

该文首先从MVC设计模式角度对struts体系结构及组件进行了描述;然后,采用软件可重用的思想,提出了一种基于struts架构的J2EE应用软件设计方法,并依据该方法开发了用户登录模块;最后,针对J2EE应用软件中出现的中文传输乱码问题,提出了一种基于Struts架构的解决方案,并对该方案进行了实现。     

一种模块化的安全协议设计方法

目前安全协议的设计方法存在方法抽象、适用范围小、复杂及不系统的特点。基于此，文章提出了一种设计方法，通过组合协议类型及安全属性的实现模块构成初始协议，再根据协议要求完善初始协议形成最终协议。方法适用于全部安全协议，便于协议设计人员操作，而且更易实现安全协议的设计自动化。最后，以端到端的密钥建立协议为例，对此方法进行了说明。     

多重集合重写与Spi演算的安全协议分析方法

当形式化描述安全协议时,不同的规范语言采用不同的推理方法,其结果不能直接或容易地进行比较,因此在不同的框架中建立明确的关联是必要的。论文在多重集合重写MSR和Spi演算的形式化规范之间建立关联,并定义了一种双射;提出和证明了MSR和Spi演算之间在分析安全协议安全性时的一致性关系定理,利用这个关系对Needham-Schroeder公钥协议进行安全性分析。     

基于数据构造的仿真技术及应用

介绍了基于数据构造虚拟原型开发技术的概念及两个关键技术，通过和现有虚拟原型开发技术比较，给出基于数据构造虚拟原型技术的优点。着重分析在计算机虚拟实验系统开发过程中，如何通过数据构造计算机虚拟器件，以及如何利用数据驱动机制通过虚拟器件的数据模型来实现器件的功能、属性，并最终实现整个虚拟实验。