《表1 应用π演算的语法与语义》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于CFL认证体制的区块链系统认证机制研究》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

应用π演算是一种描述、分析并发进程及其交互过程的语言[15，16]，是π演算的一种扩展形式，它允许使用者定义一个完全控制网络的敌手模型（通常采用Dolev-Yao模型[17]），模拟恶意对手的窃听、重放、阻塞和欺骗等行为，适用于密码协议的形式化建模与分析。应用π演算假定一个无穷大的名称集合珘n（用于构建不同进程之间的通信通道或其他常量），一个无穷大的变量集合珓v（用于接收不同的消息）和一个有限的函数项集合Σ（用于建立密码算法表达式）。为了表示密码原语的属性，Σ配属了一个等式理论E，即Σ中存在等价关系M=N，当且仅当函数项M，N∈Σ为真。应用π演算通常使用“=E”或“=”符号表示由等式理论E引出的最小等价关系。应用π演算的语法、语义如表1所示。