基于CP-nets模型的安全协议形式化方法研究

【作者】 白云莉

【导师】 叶新铭;

【作者基本信息】 内蒙古大学 , 计算机应用技术, 2013, 博士