具有计算可靠性的符号模型

MW方法仅考虑使用公钥加密原语,不包含{{mk}k类型消息的双方协议。针对该问题,使用公钥加密和对称加密,建立扩展标记符号模型与扩展计算模型,论证扩展标记符号模型的计算可靠性,实现对MW方法的扩展。     

主动攻击下数字签名的计算可靠性

研究在密码协议仅使用数字签名原语时,主动攻击下符号形式化分析系统的计算可靠性。借鉴Micciancio-Warinschi方法,分别引入符号模型和计算模型中的协议运行状态集合,通过反证法证明符号模型中的迹与计算模型中的迹之间的对应关系,建立数字签名的计算可靠性,即如数字签名方案满足N-UNF,则符号模型所得到的结果在计算模型中也是正确的。基于该结论,可以构建具有计算可靠性的形式化分析系统。     

优化国际漫游呼叫流程的方法研究

如何减少国际漫游呼叫中的话路迂回,为用户提供更低廉的国际资费,是运营商感兴趣的问题。文章分析了现有通信网络上国际漫游呼叫流程的不足之处,提出了一种优化的国际漫游呼叫流程实现方法。此方法大大减少了话路迂回,节省了网络资源。     

供热机组特性分析的循环函数法及其应用

介绍了蒸汽动力循环的局部定量分析方法－电厂蒸汽循环的函数与方程（以下简称循环函数法）并将之用供热机组运行特性的分析，编制了通用的分析软件包，对国内外典型供热机组的分析计算表明，该软件包计算准确，使用方便，极大地方便了对供热机组特性的分析工作。     

凝汽器中空气对传热系数的影响及清洁系数在线测定方法的进一步 …

提出了一种基于试验基础上的计算凝汽器传热系数空气侧修正系数的新方法，由这种方法确定的凝汽器传热系数空气侧修正系数是凝汽器内空气含量的单值函数，即ｃα＝ｆ，所以能够准确地反映凝汽器内空气含量对凝汽器传热系数的影响。将此关系应用于凝汽器清洁率的测定计算，实现了凝汽器汽侧空气量对传系数的影响和水侧脏污对传热系数的影响这二者的分离，为凝汽器的合理清扫提供了依据。     

面向密码协议在线安全性的监测方法

为解决现有方法无法在线监测协议逻辑进行的低交互型攻击的问题,提出一种密码协议在线监测方法CPOMA。首先构建面向密码协议的特征项本体框架,以统一描述不同类型的特征项,并基于该框架首次利用模糊子空间聚类方法进行特征加权,建立个体化的密码协议特征库;在此基础上给出自学习的密码协议识别与会话实例重构方法,进而在线监测协议异常会话。实验结果表明,CPOMA不仅能够较好地识别已知协议、学习未知协议、重构会话,而且能够有效在线监测协议异常会话,提高密码协议在线运行的安全性。     

调和安全协议两种分析方法的理论研究

安全协议形式化分析方法分为两种,即符号方法和计算方法.比较两种方法,它们各有优缺点.目前,将两者进行组合优化,建立统一的调和方法框架对安全协议进行分析是研究的热点和难点.针对该问题,对目前国际上流行的相关方法进行了分类总结,并对涉及到的技术手段进行了全面分析.     

基于一阶逻辑的非否认协议模型

为了将密码协议的非否认性和公平性统一在一个框架之下更好地进行分析，提出了一套适用于分析非否认性和公平性的一阶逻辑语法和语义。在此基础上建立了一个用于分析非否认性和公平性的一阶逻辑模型，并以Fair ZG非否认协议为例进行了分析，发现了该协议的一个已知攻击，证明了模型的有效性和正确性。     

基于半监督子空间聚类的协议识别方法

针对现有的基于统计特征的协议识别方法选择识别特征时未考虑不同协议个体之间的差异的问题,结合半监督学习和模糊子空间聚类（FSC）方法,提出了一种半监督子空间聚类协议识别方法（SSPIA）。首先,将有标签的样本流转化为成对约束信息,从而获取先验约束条件;其次,在此基础上提出半监督模糊子空间聚类（SFSC）算法,该算法利用约束条件指导子空间聚类过程;然后,建立类簇和协议类型的映射,以获取协议各个特征的权重系数,进而构建个体化的密码协议特征库用于后续协议识别;最后,针对5个典型的密码协议进行聚类效果和识别效果实验。实验结果表明,针对基于统计特征的协议识别问题,与传统K-means方法和FSC方法相比,所提SSPIA的聚类效果更好,且SSPIA构建的协议识别分类器更为精确,协议识别率更高,误识别率更低。所提SSPIA提高了基于统计特征的识别效果。