Formal Verification of Kaman Protocol
WEN Shuang-ju
Computer and Modernization . 2012, (200): 17 -06 .  DOI: 10. 3969/j. issn. 1006-2475.2012.04.005