搜索到 篇“ 安全协议验证 “的相关文章

相关作者

李舟军
作品数：263被引量：1,804H指数：22
供职机构：北京航空航天大学
研究主题：安全协议 数据挖掘 网络安全 形式化验证 信息检索
李梦君
作品数：47被引量：290H指数：10
供职机构：国防科学技术大学计算机学院
研究主题：安全协议 形式化验证 安全协议验证 进程代数 虚拟现实
陈火旺
作品数：242被引量：2,290H指数：25
供职机构：国防科学技术大学计算机学院
研究主题：人工智能 程序设计 计算机 遗传算法 软件工程
苏开乐
作品数：48被引量：153H指数：8
供职机构：浙江师范大学数理与信息工程学院
研究主题：开放逻辑 时态认知逻辑 有界模型检测 时态 安全协议
谢俊元
作品数：197被引量：1,103H指数：16
供职机构：南京大学
研究主题：计算机网络 向量 入侵检测 网络安全 数据挖掘