论文部分内容阅读
本文给出了逻辑系统可靠性的详细定义,并给出的概率真及概率真可靠的新概念,从而为认证逻辑系统的可靠性分析打下了基础,也指出了分析认证逻辑系统可靠性的途径和意义.本文还对BAN逻辑系统的可靠性进行了分析,指出它是一个不可靠的逻辑系统码协议的安全性.
关于认证逻辑系统的可靠性
【摘 要】
：
本文给出了逻辑系统可靠性的详细定义,并给出的概率真及概率真可靠的新概念,从而为认证逻辑系统的可靠性分析打下了基础,也指出了分析认证逻辑系统可靠性的途径和意义.本文还对BAN逻辑系统的可靠性进行了分析,指出它是一个不可靠的逻辑系统码协议的安全性.
【机 构】
：
郑州信息工程大学信息工程学院,450002 北京交通大学计算机学院
【出 处】
：
中国计算机学会2004年信息保密专业委员会学术年会
【发表日期】
：
2004年4期
其他文献
中间件的形式有很多，可以把操作系统看作是中间件，可以认为BIOS1是中间件，在主板上的控制单元也是CPU和主板总线之间的中间件。随着技术的不断更新，中间件本身的边界也更加模糊。本文主要就新技术应用给中间件带来的影响进行了论述。
普适计算的基本特征可以从3个维度描述，即物理维度(泛在性，Universality)、应用维度(便捷性，Convenience)和系统维度(适应性，Adaptability)。本文主要就中间件的发展与普适计算中间件等内容进行了论述。
冯·诺依曼计算机体系结构把指令和数据看作程序，存放于存储器中，通过总线送到CPU上执行，这样解决了存储和计算的时间分离问题。本文主要就透明计算进行了论述。
千万亿次计算机就是运算速度非常快的计算机，比我们今天用的个人电脑大约快100万倍。 本文分析了设计HPC所面临的问题，并论述了国内外对这此问题研究的进展。
用FPGA实现AES算法比用软件实现有更大的优势,因此它可广泛应用在ATM、SmartCards等方面.AES的FPGA的高度优化可编程硬件解决方案提供了并行处理能力,因而它可以达到很快的加密速度、较高的资源利用率、较大的系统吞吐量.本论文给出了用FPGA实现AES算法的方法,并对该方法进行了评估,其结果是在资源、性能等方面比现在公开实现的要好.
VPN是利用开放的公共网络建立专用数据传输通道的一种广域网技术.IPSec协议则是目前实现安全的VPN最常用的方式.使用可编程的高性能网络处理器可以提供灵活丰富的VPN服务,增加VPN的可扩展性.本文分析研究了IPSecVPN的体系结构、Intel的网络处理器IXP2400的功能特点,给出了一种基于IXP2400网络处理器的千兆级IPSecVPN设计方案.
本文通过对IP数据包转发机制研究,针对网络安全设备对数据包转发的特殊需求,提出了一种基于(IFPLUT+TCAM)的IP数据包转发机制.该机制将查找表根据输出端口分割为若干个小查找表,并允许查找引擎对每个小查找表进行并行处理,有效地将寻找"最长前缀匹配"的复杂问题简化为"第一前缀匹配"问题.
本文介绍一种数字签名撤回的方案.签名者不能否认自己的合法签名,即不可否认性,是数字签名重要的特性之一.但是在某些场合,一个签名者可能想通过合法手段撤回原先的签名,这实际上就是要移除数字签名的不可否认性.本文提出一种在现有数字签名基础上加以改造成可撤回签名方案,并证明其安全性.