为了设计出具有高安全性的安全协议, 提出了一种面向主体的逻辑, 可以形式化和系统地设计
共享密钥安全协议; 根据可以提供的不同安全服务, 将密码机制抽象为不同信道 …