基于虚拟时序机的隐式软故障精确定位

虚拟时序机中的不完全封闭顺序时序机的工作模式识别,特别地隐式软故障精确定位是重大难题.在虚拟状态表、虚拟状态差表、虚拟自状态差表的基础上,提出了一系列定义,导出了一系列重要定理、性质及规律,建立了状态差理论及自状态差法.可简单、直观地识别虚拟时序机的全部工作模式,精确定位隐式软故障.     

一种新型的电子商务协议及形式化分析

该文提出了一个可运行在不安全、不可靠信道上的电子商务协议NRP,该协议可使通信双方处于平等的地位,并有效地防止欺骗行为的发生。通过使用扩展BAN逻辑有效地分析了NRP协议的正确性,对电子商务协议的设计和分析具有重要的指导作用。     

一种新型的安全协议分析逻辑

提出了一种新的形式化分析逻辑 ,可用于分析协议的安全性 .它有 3个优点 :(1)能分析协议的可追究性 ,(2 )能分析协议的公平性 ,(3)能有效的分析协议能否抵御重放攻击 ,(4 )增加了密文理解规则 ,能够有效地分析包含有签过名的加密公式的消息     

基于网络的联合审批系统设计

分析了基于网络的联合审批系统的业务流程及功能要求,给出了网上联合审批系统的几种模型和体系结构,探讨了网上联合审批系统的规范标准制订、数据共享设置、信息安全保障等关键技术.给出了联合签名验证审批的算法程序.解决了电子政务和日常业务中多方联合审批的数字签名与认证问题.     

一种基于网络处理器的高速信息处理系统

基于网络处理器的高速信息处理系统是一个用网络处理器硬件来实现网络实时数据采集和高速信息审计的专用设备,可为公安、安全、政府、教育和企业等提供一个对网上传播信息进行信息审计的工具,文中具体介绍了系统的硬件结构、软件结构和性能指标。     

CCITT X.509协议的形式化分析及其改进

串空间模型是一种新兴的密码协议形式化分析工具,基于串空间模型的协议认证分析方法是比较常用的验证方法。概述了串空间模型理论和基于串空间模型的认证测试理论,并利用此理论对CCITT X.509协议进行了形式化的分析。该协议存在缺陷并对此进行了改进。     

多方签名认证算法的设计与实现

文章提出了电子政务及日常合同、协议业务中数字签名、认证所要解决的各种实际问题,分析了多方数字签名的信息流程,给出了信息流转的六种模式。同时,还设计了无批语多方数字签名和有批语多方数字签名方案,详细设计了基于DSA数字签名标准的有批语多方数字签名的算法程序,解决了电子政务及日常合同、协议业务中数字信息的签名、认证、存档等实际问题。     

基于Matlab的倒立摆系统实时模糊控制研究

研制出一种低成本、高可靠性和高稳定性的倒立摆硬件系统,同时提出一种专家模糊控制策略以及基于Matlab的实时控制途径.采用模糊组合变量来减少模糊规则数,并根据摆角来选择不同模糊规则库从而提高控制性能.用Matlab实现的控制算法在对倒立摆的实验中表现出很好的实时控制性能.     

基于串空间模型的改进型 Otway-Rees 协议分析

串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤.本文在 Otway-Rees 协议缺陷的基础上对它进行改进,并利用串空间模型的理论对改进后的 Otway-Rees 协议进行了形式化的分析.新的 Otway-Rees 协议满足其安全目标,是安全可行的