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

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

物联网中移动节点抗克隆攻击的UC安全认证协议

物联网中的感知网一般由计算、通信和存储能力极差的感知节点通过移动节点和静态节点相结合的方式构成,以采集信息;而传输网通常利用现有互联网的基础设施,提供强大的计算、通信和存储服务。为了满足物联网中移动节点漫游时实施接入认证的访问控制要求,同时兼顾实际应用中可行性与移动节点轻量级、抗物理克隆攻击等的安全性需求,基于物理不可克隆函数(Physical Unclonable Function,PUF),提出了移动节点抗克隆攻击的UC(Universally Composable)安全认证协议,其可实现移动节点漫游到其他区域时与接入基站之间的双向认证与密钥交换过程。分析表明,所提出的协议在UC安全模型下是可证明安全的。     

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的安全性进行了形式化分析，得出了与其他分析方法相同的结论。     

关于密码协议攻击的研究

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