论文部分内容阅读
安全协议的形式化分析方法有许多，但都普遍存在。些问题，本文介绍了一种在CPN模型壮础上改进的形式化方法FOCPN，并且利用该方法对IBS协议进行了实验仿真分析，土要针对其不町否认性和可追究性进行了验证，实验结果显示该方法可以有效验证出IBS协议的特性。
IBS协议的形式化分析与验证
【摘 要】
：
安全协议的形式化分析方法有许多，但都普遍存在。些问题，本文介绍了一种在CPN模型壮础上改进的形式化方法FOCPN，并且利用该方法对IBS协议进行了实验仿真分析，土要针对其不町否认
【机 构】
：
兰州交通大学电子与信息工程学院,兰州城市学院信息工程学院
【出 处】
：
自动化与仪器仪表
【发表日期】
：
2012年2期
【基金项目】
：
高等学校博士学科点专项科研基金(20060732002);甘肃省自然科学基金(1010RJZA065)
其他文献
对远指或近指指示词语的选择不仅取决于所指对象与指示中枢之间实际的物理距离,而且透视出说话人与听话人或所指对象之间的心理距离.对心理距离的分析可以使我们不仅明白指示
激烈的市场竞争要求企业具备低成本、高质量。六西格玛管理能有效识别并消除变异、提高质量、持续改进,是企业增强竞争优势的有效途径。本文通过分析六西格玛管理模式的内涵,
随着铁路通信网的发展,铁路区间通信设备需要安全可靠的不间断电源,以便保证其正常运行。介绍直流远供电源系统构成,并结合铁路工程,介绍直流远供的具体应用方案。
目的:探讨骨科老年患者术后谵妄的相关影响因素及护理对策。方法:分析我科42例发生术后谵妄的老年患者临床资料,给予术前评估和术后控制并发症、低氧血症、疼痛刺激、环境因
文章基于访谈和问卷调查，分析当前大学英语课堂中存在的问题以及学生对当前专门用途英语需求，探讨经过ESP需求分析后，如何将大学英语课堂中英语语言知识和国贸专业知识结合起来
采用原子荧光光谱泫对枣中硒的含量进行分析，确定最佳测定条件。结果表明：硒的检出限为0．57ng／ml，线性范围为1．0-32．0ng／ml，回收率为99．0％-106．3％，变异系数小于1．71％。
桃红四物汤为中医传统活血化瘀经典方剂之一，源自于清·吴谦的《医宗金鉴》由桃仁、红花、当归、赤芍、生地黄、川芎等6味中药组成。具有活血化瘀、养血补血的双重功效。
以当今服装企业产品生产信息化的发展趋势为依据,提出了与云信息平台结合的服装产品加工订单交易的一种新型模式,通过对这种交易模式下的云信息服务平台所需具备功能的分析,
针对无刷双馈发电机(BDFIG)在变速恒频风力发电系统中有功功率和无功功率的控制问题,提出一种笼型转子无刷双馈发电机并网后的间接功率控制方法。利用BDFIG统一坐标系模型推