The Spi Calculus :A Cryptographic Protocol Calculus

 
  • 一个描述密码学安全协议的演算:Spi演算
今日热词
目录 附录 查词历史