应用组合方法设计安全协议
邓帆 邓少锋 李益发
Security protocol design by composition method
计算机应用 . 2010, (4): 1033 -1037 .