切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
IBS协议的形式化分析与验证
IBS协议的形式化分析与验证
来源 :电脑知识与技术 | 被引量 : 0次 | 上传用户:dalang003
【摘 要】
:
安全协议的形式化分析方法有许多,但都普遍存在一些问题,该文介绍了一种在CPN模型基础上改进的形式化方法FOCPN,并且利用该方法对IBS协议进行了实验仿真分析,主要针对其不可
【作 者】
:
朱朝旭
【机 构】
:
兰州交通大学电信学院
【出 处】
:
电脑知识与技术
【发表日期】
:
2011年10X期
【关键词】
:
形式化分析
FOCPN
IBS协议
formalization analysis
FOCPN
IBS protocol
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
安全协议的形式化分析方法有许多,但都普遍存在一些问题,该文介绍了一种在CPN模型基础上改进的形式化方法FOCPN,并且利用该方法对IBS协议进行了实验仿真分析,主要针对其不可否认性和可追究性进行了验证,实验结果显示该方法可以有效验证出IBS协议的特性。
其他文献
对建立邮政储蓄银行全面风险管理体系的探讨
邮政储蓄银行经过两年多的实践与探索,存贷款规模不断扩大,业务领域不断延伸,经营风险也在不断积累,这对邮政储蓄银行加强风险管理提出了更高的要求。但由于邮政储蓄银行历史
期刊
邮政储蓄银行
风险管理
措施
录象机自动保护停机分析与检修(6)
期刊
录象机
自动保护停机
检修
细节管理在临床护理管理的应用与体会
目的:提高护理质量及患者满意度。方法:对全科护理人员进行理论学习和实践训练,使护士从意识到行为注重细节护理。结果:93.2%患者信任护士,认为护士值得信赖和依靠:护患关系更为融洽,
期刊
临床护理管理
患者满意度
护士形象
应用
护理质量
护患关系
理论学习
护理人员
三星DVC—850VCD影碟机
期刊
影碟机
卡拉OK
DVC-850VCD
网络环境下如何提高医务人员信息素养的探讨
本文阐述了信息素养的概念及内容,分析了当前医务人员信息素养的现状,从加强医院信息化建设、培养和启发医务人员的信息意识及信息能力、加强自身素质教育、提高医院图书馆员
期刊
高医务人员
信息素养
网络环境
医院信息化建设
医院图书馆员
信息能力
信息意识
素质教育
松下NV—450的检修
期刊
录象机
故障
检修
NV-450型
电子束降解水溶液中磺胺甲噁唑
磺胺甲噁唑(sulfamethoxazole,SMX)是一种被广泛使用的抗菌类药物.由于传统的污水处理技术很难有效地降解这类废水,故对电子束这一新型高级氧化技术对磺胺甲噁唑的处理效果以
期刊
磺胺甲噁唑
电子束
中间产物
降解途径
sulfamethoxazole(SMX)
electron beam
intermediate
degradation
夏普XV—530H投影机的维修
期刊
投影机
故障
维修
XU-530H
日立VI—M888M录象机电源电路原理与检修
期刊
录象机
电源电路
故障
检修
VT-M888M型
关注中小企业融资难问题
中小企业融资难是制约企业发展的老问题,在国际金融危机影响下更是倍受关注。文章认为破解中小企业融资难问题需要政府、银行、企业等多方的共同努力。
期刊
关注
解决
中小企业
融资问题
与本文相关的学术论文