A Modal Logic-Based Measurement Method of Security Protocol
Wang Tao Guo He-qing Yao Song-tao
Journal of South China University of Technology(Natural Science Edition) . 2004, (11): 37 -42 .