Abstract
This work presents a general framework for describing cryptographic protocols and analyzing their security. The framework allows specifying the securi......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
