陈清亮
【姓名】 陈清亮
【职称】
【研究领域】 计算机软件及计算机应用;电信技术;自动化技术;
【研究方向】 包括模型检测
【发表文献关键词】 协议验证,认知逻辑,知识结构,形式化验证,安全协议,自动机理论,时态认知逻辑,模型检测,多主体系统,TMN密码协议,知识推理,可满足性问题(SAT),实例化空间,语义模型,加密信息交换模型,认证,可满...
【工作单位】 中山大学
【曾工作单位】 中山大学;
【所在地域】 广东广州
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/5 4 5 0 51 1566
中国期刊全文数据库    共找到5篇
[1]吕关锋;苏开乐;林瀚;骆翔宇;陈清亮;岳伟亚;.基于BDD的图表示及其算法[J]中山大学学报(自然科学版).2006,(01)
[2]吴立军;苏开乐;陈清亮;杨志华;.多主体系统时态认知规范的“On the Fly”模型检测算法研究[J]计算机研究与发展.2006,(08)
[3]苏开乐;岳伟亚;陈清亮;ZHENG Xi-Zhong;.实例化空间:一种新的安全协议验证逻辑的语义模型[J]计算机学报.2006,(09)
[4]苏开乐;陈清亮;岳伟亚;.一种规约于可满足性问题(SAT)的知识推理算法[J]计算机科学与探索.2007,(01)
[5]苏开乐,吕关锋,陈清亮.基于知识结构的认证协议验证[J]中国科学E辑:信息科学.2005,(04)
更多