排序方式: 共有17条查询结果,搜索用时 15 毫秒
1.
基于虚拟时序机的隐式软故障精确定位 总被引:1,自引:0,他引:1
虚拟时序机中的不完全封闭顺序时序机的工作模式识别,特别地隐式软故障精确定位是重大难题.在虚拟状态表、虚拟状态差表、虚拟自状态差表的基础上,提出了一系列定义,导出了一系列重要定理、性质及规律,建立了状态差理论及自状态差法.可简单、直观地识别虚拟时序机的全部工作模式,精确定位隐式软故障. 相似文献
2.
该文提出了一个可运行在不安全、不可靠信道上的电子商务协议NRP,该协议可使通信双方处于平等的地位,并有效地防止欺骗行为的发生。通过使用扩展BAN逻辑有效地分析了NRP协议的正确性,对电子商务协议的设计和分析具有重要的指导作用。 相似文献
3.
一种新型的安全协议分析逻辑 总被引:1,自引:0,他引:1
提出了一种新的形式化分析逻辑 ,可用于分析协议的安全性 .它有 3个优点 :(1)能分析协议的可追究性 ,(2 )能分析协议的公平性 ,(3)能有效的分析协议能否抵御重放攻击 ,(4 )增加了密文理解规则 ,能够有效地分析包含有签过名的加密公式的消息 相似文献
4.
分析了基于网络的联合审批系统的业务流程及功能要求,给出了网上联合审批系统的几种模型和体系结构,探讨了网上联合审批系统的规范标准制订、数据共享设置、信息安全保障等关键技术.给出了联合签名验证审批的算法程序.解决了电子政务和日常业务中多方联合审批的数字签名与认证问题. 相似文献
5.
基于网络处理器的高速信息处理系统是一个用网络处理器硬件来实现网络实时数据采集和高速信息审计的专用设备,可为公安、安全、政府、教育和企业等提供一个对网上传播信息进行信息审计的工具,文中具体介绍了系统的硬件结构、软件结构和性能指标。 相似文献
6.
7.
文章提出了电子政务及日常合同、协议业务中数字签名、认证所要解决的各种实际问题,分析了多方数字签名的信息流程,给出了信息流转的六种模式。同时,还设计了无批语多方数字签名和有批语多方数字签名方案,详细设计了基于DSA数字签名标准的有批语多方数字签名的算法程序,解决了电子政务及日常合同、协议业务中数字信息的签名、认证、存档等实际问题。 相似文献
8.
研制出一种低成本、高可靠性和高稳定性的倒立摆硬件系统,同时提出一种专家模糊控制策略以及基于Matlab的实时控制途径.采用模糊组合变量来减少模糊规则数,并根据摆角来选择不同模糊规则库从而提高控制性能.用Matlab实现的控制算法在对倒立摆的实验中表现出很好的实时控制性能. 相似文献
9.
10.