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

• 计算机科学与技术 • 上一篇    下一篇

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

刘欣欣 唐韶华†   

  1. 华南理工大学 计算机科学与工程学院, 广东 广州 510640
  • 收稿日期:2012-04-25 修回日期:2012-08-03 出版日期:2013-01-25 发布日期:2012-12-03
  • 通信作者: 唐韶华(1970-),男,教授,博士生导师,主要从事信息安全研究. E-mail:csshtang@scut.edu.cn
  • 作者简介:刘欣欣(1977-),女,在职博士生,讲师,主要从事信息安全研究.E-mail:csliuxx@scut.edu.cn
  • 基金资助:

    广东省自然科学基金团队项目(9351064101000003);广东省高等学校珠江学者岗位计划资助项目(2011);广东省高等学校高层次人才项目(2012);广州市科技计划项目(2011J4300028)

Formal Analysis and Verification of Security for AutomatedTrust Negotiation

Liu Xin-xin Tang Shao-hua   

  1. School of Computer Science and Engineering, South China University of Technology, Guangzhou 510640, Guangdong, China