自动信任协商的形式化描述与验证研究
官尚元,伍卫国,董小社,钱德沛
Research on formal description and verification of automated trust negotiation
Shang-yuan GUAN,Wei-guo WU,Xiao-she DONG,De-pei QIAN
通信学报 . 2011, (2): 86 -99 .  DOI: 1000-436X(2011)02-0086-14