原名:Hiding Names: Private Authentication in the Applied Pi Calculus
作品简介:隐藏名称：应用 Pi 演算中的私人身份验证。 Cédric Fournet1 和 Martın Abadi2。 1 微软研究院。 2 加州大学圣克鲁斯分校。抽象的。我们对应用 pi 演算中的私有身份验证协议进行了分析。我们对待真实性和服务性……
资源下载
VIP免费升级VIP
原名:Hiding Names: Private Authentication in the Applied Pi Calculus
作品简介:隐藏名称：应用 Pi 演算中的私人身份验证。 Cédric Fournet1 和 Martın Abadi2。 1 微软研究院。 2 加州大学圣克鲁斯分校。抽象的。我们对应用 pi 演算中的私有身份验证协议进行了分析。我们对待真实性和服务性……
