概率可观察等价性相关论文
针对Spi演算在安全协议分析中存在的局限性，通过引入概率多项式时间进程，提出了一个分析安全协议的新方法。该方法是对Spi演算的改进......
针对Spi演算在安全协议分析中存在的局限性,通过引入概率多项式时间进程,提出一个分析安全协议的新方法。该方法是对Spi演算的改进......
