液压、润滑管道高效耐磨清洁球技术

介绍了通过管道高效耐磨清洁球进行液压管道清洗的技术。该技术是利用压缩空气推动高密度的聚亚氨酯泡沫体在管道内高速旋转前进,摩擦、吸收管道内壁的杂质,达到清洁管道的目的。变传统的管道化学清洗过程为物理过程,实现了过程中化学物质的零使用零排放,提高了能源的重复利用率,缩短了工期,降低了项目成本,提高了施工过程的安全性。     

8031单片机与CRT显示器的接口技术

本文通过一个以MC6845CRTC为主控芯片,适用于8031单片机应用系统的CRT适配器为例,介绍8031单片机与CRT显示器接口的设计原理和实现技术。     

安全协议的CSP描述技术

基于进程代数的CSP方法是一种重要的形式化协议分析验证方法。本文首先简单介绍了CSP相关理论,并以NSPK协议为例系统概述了安全协议的CSP建模方法。为更好的查明协议的安全缺陷,重点研究如何在CSP的体系结构中对协议的安全属性进行形式化描述。并最终提出秘密性、认证性、不可否认性、匿名性的形式化提炼检测目标,为进一步使用模型检测器进行协议验证奠定了理论和技术基础。     

基于Spi演算的密码协议的控制流分析

基于Spi演算和控制流分析，提出了一个密码协议的新分析方法。随后利用该方法对Beller-Chang-Yacobi MSR协议进行了分析，通过证明该协议已知的漏洞，说明该方法是正确的，并通过更深入的研究和分析，证明了该协议在并行会话攻击下是不安全的，基于此对该协议进一步改进，改进后的协议是安全的。     

非否认协议形式化分析技术

对目前现有的非否认协议的几种形式化分析方法进行了分析和比较，指出了它们的优缺点，最后提出了进一步的研究方向。     

密码协议形式化分析的计算合理性

基于Abadi-Rowgaway的形式化加密的计算合理性定理,论文提出和证明了密码协议形式化分析的计算合理性定理。通过对群密钥分配协议的分析,说明本文的定理对协议的可选择攻击具有较强的分析能力,论文提出了群密钥分配协议的形式化方法与计算方法下安全性的形式化定义,并证明了其合理性。     

数字移动通信系统中认证协议的设计与分析

该文针对数字移动通信系统的背景和需求,基于公钥密码体制设计了一个端端密钥分发协议,基于对称密码体制设计了一个身份认证协议,并利用Spi演算对身份认证协议进行了分析,证明了其安全性.     

基于Spi演算的SSL3.0协议安全性分析

对标准Spi演算的语法及语义进行了合理扩展，并利用扩展后的Spi演算对大型复杂协议SSL V3.0的安全性进行了形式化分析，得出了与其他分析方法相同的结论。     

关于密码协议攻击的研究

该文通过具体实例从不同的角度讨论了对密码协议的各种攻击，并阐述了这些攻击产生的原因及防止它们的一般方法。     

基于ATM网络的捷变加密系统设计

捷变的加密系统可以根据应用的不同而动态地对密码参数进行切换.文章从ATM网络的基本特性出发,阐述了ATM网络捷变加密系统设计中应注意的有关问题,给出了捷变加密系统的总体结构,并对其各个模块作了深入探讨.