苏开乐
【姓名】 苏开乐
【职称】 教授;
【研究领域】 计算机软件及计算机应用;电信技术;自动化技术;
【研究方向】 包括模型检测
【发表文献关键词】 模型检测,路线规划,安全协议认证,属性证书,形式化方法,定理证明,时间复杂度,SAT问题,安全协议,电子政务,算法,安全模型,BAN逻辑,公交线路,协议验证,角色规范,认知逻辑,公交车,公钥证书,车站...
【工作单位】 中山大学
【曾工作单位】 中山大学;
【所在地域】 广东广州
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/19 15 16 4 153 4596
中国期刊全文数据库    共找到18篇
[1]肖茵茵;苏开乐;.协议组合逻辑在实例化空间模型中的语义解释[J]广东技术师范学院学报.2016,(02)
[2]肖茵茵;苏开乐;.电子商务支付协议认证性的SVO逻辑验证[J]计算机工程与应用.2014,(08)
[3]肖茵茵;苏开乐;马震远;胡若;.实例化空间逻辑下的SET支付协议验证及改进[J]华中科技大学学报(自然科学版).2013,(07)
[4]吕关锋;苏开乐;林瀚;骆翔宇;陈清亮;岳伟亚;.基于BDD的图表示及其算法[J]中山大学学报(自然科学版).2006,(01)
[5]吴立军;苏开乐;陈清亮;杨志华;.多主体系统时态认知规范的“On the Fly”模型检测算法研究[J]计算机研究与发展.2006,(08)
[6]苏开乐;岳伟亚;陈清亮;ZHENG Xi-Zhong;.实例化空间:一种新的安全协议验证逻辑的语义模型[J]计算机学报.2006,(09)
[7]李超明;苏开乐;.一个基于智能的MAS模型及其方法论[J]计算机研究与发展.2007,(06)
[8]苏开乐;陈清亮;岳伟亚;.一种规约于可满足性问题(SAT)的知识推理算法[J]计算机科学与探索.2007,(01)
[9]吴立军;苏金树;苏开乐;.多智能体系统时态认知规范高效符号模型检测的算法研究[J]计算机学报.2008,(02)
[10]何青;骆翔宇;苏开乐;.基于符号化模型检测的对弈必胜策略验证[J]计算机工程与应用.2008,(17)
更多
中国重要会议全文数据库    共找到1篇
[1]何青;骆翔宇;苏开乐;.对弈必胜策略的符号化模型检测[A].2006年全国理论计算机科学学术年会论文集.2006-08-01
更多
承担国家科研项目    共找到2个
[1]苏开乐;.系统规范表示与验证的认识逻辑途径[A].中山大学;.项目经费 23万元.2004-03-31.资助文献数 18 篇
[2]苏开乐;.认识逻辑及其在安全协议设计、验证中的应用[A].中山大学;.项目经费 14万元.2000-03-31.资助文献数 4 篇
更多