物联网中安全通信协议的形式化分析
吴名欢,程小辉
桂林理工大学学报 . 2013, (2): 333 -338 .