-
题名认证测试中协议主体串参数一致性研究
被引量：1
- 1
-
-
作者
余磊
魏仕民
卓泽朋
-
机构
淮北师范大学计算机科学与技术学院
淮北师范大学数学科学学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2015年第13期86-91,152,共7页
-
基金
安徽高校省级自然科学研究重点项目(No.KJ2014A231
No.KJ2014A220)
-
文摘
针对认证测试基础理论在协议主体串参数一致性分析方面,因形式化判定规则不足所产生的分析复杂度较高和自动化程度较低问题,通过对消息组件结构的形式化,以及认证测试结构的共性分析,基于认证测试基础理论对认证测试结构进行形式化建模;在认证测试结构模型上,运用协议主体密钥的认证测试构造规则,分析协议主体串在不同类型参数上满足一致性的条件,在明确参数一致性判定规则的同时,给出协议主体串参数一致性分析的形式化方法。协议分析实践表明,该方法较传统方法不仅具有简洁高效、易于自动化实现的优点,而且能够准确定位协议缺陷并给出相应的修正方案。
-
关键词
安全协议
形式化分析
串空间模型
认证测试
串参数
-
Keywords
security protocol
formal analysis method
strand space model
authentication test
strand parameters
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名船舶主机滑油管系串油工艺的影响因素研究
被引量：2
- 2
-
-
作者
赵春吉
安超
武燊
-
机构
中外运集装箱运输有限公司
上海海事大学商船学院
-
出处
《中国水运（下半月）》
2019年第2期100-101,共2页
-
文摘
随着造船业的迅速发展,船舶产品工艺技术及质量方面的突破已经成为各个造船企业竞争的核心区域。船舶主机作为"船舶的心脏",在造船过程中尤为重要,而主机滑油管路的串油又是船舶主机安装建造的重中之重,因此主机滑油管系串油工作需要尤为重视。本文通过对安装MANME系列主机船舶的不同串油工况、串油参数的调节,利用光阻塞颗粒技术设备对串油油样杂质颗粒大小进行检测,可以探索主机滑油管路串油过程中最佳串油方法、工况。
-
关键词
主机滑油管系
串油
串油参数
-
分类号
U671
[交通运输工程—船舶及航道工程]
-
