串空间理论及其在安全协议分析中的应用研究

【作者】 龙士工

【导师】 李祥;

【作者基本信息】 贵州大学 , 计算机软件与理论, 2007, 博士