Formal specification and verification of andrew secure RPC protocol based on strand spaces model

• 基于串空间模型的Andrew RPC协议的分析与验证