云南民族大学学报（自然科学版）2008，Vol.17Issue(1)：72-75,4.
BAN逻辑与串空间的比较
A Comparison Between BAN -logic and Strand Space
摘要
关键词
BAN逻辑/串空间/安全协议分析分类
信息技术与安全科学引用本文复制引用
缪祥华,张云生,仇细平,杨晓婕..BAN逻辑与串空间的比较[J].云南民族大学学报（自然科学版）,2008,17(1):72-75,4.基金项目
云南省教育厅资助项目(07C10075) （07C10075）
昆明理工大学科学研究基金项目(2007-29). （2007-29）
