原名:A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols
作品简介:任何过程表达式的求值都会在概率多项式时间内停止，并为 P 的 α 子代集合定义一种渐近写 Childrenα(P) 的形式。P 的子代就是该集合。所有上下文表达式上的 J α∈Act 阳离子自动处理所有 val 上的量化……
资源下载
VIP免费升级VIP
原名:A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols
作品简介:任何过程表达式的求值都会在概率多项式时间内停止，并为 P 的 α 子代集合定义一种渐近写 Childrenα(P) 的形式。P 的子代就是该集合。所有上下文表达式上的 J α∈Act 阳离子自动处理所有 val 上的量化……
