基于扩展CS逻辑的非否认协议形式化分析方法

将基于知识逻辑的CS逻辑系统用于分析具有时限性的非否认协议,针对非否认协议的性质对CS逻辑进行了扩展,给出了描述和分析非否认性以及公平性的方法,并使用扩展后的逻辑对改进的ZG协议进行了分析。在分析过程中,发现了该协议存在对签名的重放攻击漏洞,不满足强非否认性。验证过程也表明,扩展后的CS逻辑能够有效地描述和分析具有时限性的非否认协议的安全性质。

CS逻辑的分析及改进

较之以往的形式化分析工具BAN及BAN类逻辑,CS逻辑是一种将时间与逻辑结构相结合的逻辑,是第一个用来分析与时间相关的Timed--release公钥协议的逻辑,本文分析了原始CS逻辑的某些推理规则的缺陷,并对其作了改进及扩展,使其能够更好地反映Timed--release公钥协议的特性,并对一个具体的Timed-release公钥协议用扩展后的推理规则进行了有效的形式化分析.

CENTUM-CS系统在空分装置中的应用

介绍了扬子石化股份有限公司新增空分装置CENTUM CS型DCS系统的构成 ,详细论述了CENTUM CS系统在装置控制、联锁等方面的应用情况 ,指出了采用CENTUM

改进CS逻辑的自动化分析工具实现

基于CS逻辑,对其在自动化实现上存在的不足进行扩展,使用prolog人工智能语言设计并实现基于改进CS逻辑的自动化分析工具。实验表明该工具具有应用方便、分析效率高的特性,且能够有效避免分析过程中的状态空间爆炸问题。

辅锅控制程序在CENTUM-CS上的实现

全面介绍辅锅点火系统 ,从硬件配置、安全条件、点火逻辑和软件组态等几个方面论述辅锅控制程序的原理及其在CENTUM CS上的实现方法 ,对CS系统的进一步开发利用具有较大的启发和借鉴作用。

一种分析Timed-Release公钥协议的扩展逻辑

在Coffey和Saidha提出的CS逻辑 (CS逻辑将时间与逻辑结构相结合 ,可用于形式化分析Timed release公钥协议的时间相关性秘密的安全性 )的基础上 ,提出了CS逻辑的扩展逻辑 ,它更好地反映了Timed release公钥协议的特性 ,并对一个协议实例进行了有效的形式化分析 .

一种时间相关的分析安全协议的扩展逻辑

在对CS逻辑进行研究的基础上,提出了CS逻辑的扩展逻辑。该扩展逻辑对CS逻辑中存在的一些缺陷进行了修改和扩展,使其不仅可以分析公钥协议,还可以分析对称密钥协议。最后对一个协议实例进行了有效的形式化分析。

一种基于布谷鸟算法的质子交换膜燃料电池湿度辨识方法

为了提高燃料电池内部交换膜湿度的测量精度,基于区间二型模糊逻辑计算理论,结合Cuckoo Search算法,建立了一种辨识方法,对其湿度特性进行非线性拟合逼近。通过对非线性拟合结果进行验证,所设计的辨识方法在对燃料电池进行湿度拟合的过程较为精确。计算模型的输出结果较为稳定,测试稳定性较高,此类测量技术能够广泛应用于各类离线测量系统中。

720kt/a乙烯装置化学水处理单元顺控程序的实现

根据中国石化齐鲁股份有限公司烯烃厂720 kt/a乙烯装置化学水处理单元控制系统改造的工程实践。通过对工艺过程、系统流程和控制功能的分析,论述利用逻辑图和顺控表在横河CENTUM CS系统平台上设计、实现化学水单元顺序控制的思路和方法。

布谷鸟搜索算法的IT2FLS在PEMFC湿度软测量中的应用

针对质子交换膜燃料电池湿度测量的重要性和湿度准确测量的难度,结合模糊系统优良的非线性逼近能力,引入了基于区间二型模糊逻辑系统(IT2FLS)的质子交换膜燃料电池(Proton Exchange Membrane Fuel Cell,PEMFC)湿度软测量建模方法.同时,为了解决该模型的结构辨识和参数辨识问题,提出了基于布谷鸟搜索算法(Cuckoo Search Algorithm,CS)的辨识方法.最后,利用实际测试数据对所提出的软测量模型进行仿真实验.基于仿真结果的比较和分析表明,该模型的输出更为准确,稳定性更好,该软测量方法可用于其它难以在线测量的场合中.