多轮执行相关论文
安全的电子商务协议是保证电子商务活动正常开展的基础。一个貌似安全的协议往往存在安全上的漏洞。模型检测是一种常见的形式化分......
随着网络的大规模应用，越来越多的协议在并发环境中执行，时间也成为协议中一个重要因素。本文对公平交换协议Franklin／Reiter协议加入......
随着网络的大规模应用，越来越多的协议在并发的、不可靠的环境中执行。文章用有限自动机时FR协议建模．并用自动验证工具UPPAAL验证了......
