基于构造类别代数的协议安全测试研究

【作者】 章志燮

【导师】 赵保华;

【作者基本信息】 中国科学技术大学 , 计算机软件与理论, 2009, 博士