一种改进的Woo-Lam密码协议模型
赵宇 袁霖 王亚弟 韩继红
Improved Woo-Lam model for cryptographic protocols
计算机应用 . 2006, (9): 2116 -2120 .