自动信任协商安全性的形式化分析与验证

刘欣欣唐韶华

Formal Analysis and Verification of Security for AutomatedTrust Negotiation

Liu Xin-xin Tang Shao-hua

华南理工大学学报（自然科学版） . 2013, (1): 77 -82,94 . DOI: 10.3969/j.issn.1000-565X.2013.01.012