全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...

基于模型检测的多轮fr协议验证

Keywords: 电子商务协议模型检测时间自动机uppaal多轮执行

Full-Text   Cite this paper   Add to My Lib

Abstract:

随着网络的大规模应用,越来越多的协议在并发环境中执行,时间也成为协议中一个重要因素。本文对公平交换协议franklin/reiter协议加入了时间因素,用时间自动机对其建模,并用自动验证工具uppaal验证了单轮协议的性质。重点验证了并发环境中多轮协议的执行情况,最后给出了协议在多轮情况下正常执行需满足的条件。

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133