全部 标题 作者 关键词 摘要
Keywords: 电子商务协议模型检测时间自动机uppaal多轮执行
Full-Text Cite this paper Add to My Lib
随着网络的大规模应用,越来越多的协议在并发环境中执行,时间也成为协议中一个重要因素。本文对公平交换协议franklin/reiter协议加入了时间因素,用时间自动机对其建模,并用自动验证工具uppaal验证了单轮协议的性质。重点验证了并发环境中多轮协议的执行情况,最后给出了协议在多轮情况下正常执行需满足的条件。
Full-Text
Contact Us
service@oalib.com
QQ:3279437679
WhatsApp +8615387084133