安全协议理论与方法

- 安全协议理论与方法 - 基于推理结构性方法 - SVO逻辑 - Syverson和Oracho提出，建立了用于推证合理性的