专题首页
中图分类法(1)
工业技术(1)
在“
CNKI学位论文
”中,
命中:
1
条,耗时:小于0.01 秒
1.
安全协议形式化分析方法的关键技术研究
作者:
谢鸿波
关键词:
安全协议
;
形式化分析
;
类BAN逻辑
;
符号迹方法
;
有向图
论文级别:
博士
学位年度:2011
1
按检索点细分(1)
目录(1)
关键词(1)
摘要(1)
按论文级别细分(1)
博士(1)
按学位年度细分(1)
2011年(1)