自动信任协商的形式化描述与验证研究
官尚元,伍卫国,董小社,钱德沛
通信学报 . 2011, (2): 13 -99 .