Formal Specification and Verification of Andrew secure RPC protocol Based on Strand Spaces Model
周清雷 赵琳 赵东明
Computer Engineering and Applications . 2007, (13): 153 -155 .