应用pi演算 电子书下载

原名:Applied pi calculus
作品简介:安全目标，并分析协议是否达到其目标。 pi 演算也与 spi 演算[10]有相似之处。密钥 例如，考虑服务器请求付款的金融交易。……