教师姓名: 刘志锋
职务职称: 副教授、博士
所属系部: 软件工程系、软件系统研究所
研究方向: 模型检测、可信计算与物联网
联系电话: **
电子邮箱: liuzf@ujs.edu.cn
个人简介
2008/09 –2011/12,南京大学,电子科学与工程学院,博士
2004/09 –2007/06,江苏大学,计算机科学与通信工程学院,硕士
2000/09 –2004/06,江苏大学,计算机科学与通信工程学院,学士
教研成果
科研项目:
1、国家自然科学基金 基于谓词抽象技术的访问控制策略安全性快速判定方法的研究(**) 在研,主持,2014-2016
2、江苏大学高级人才科研启动基金 基于布尔公式满足性求解的无干扰分析的研究,在研,主持,2012-2015
3、国家自然科学基金信息流安全属性算术验证的研究(**),已结题,排名第二
4、江苏省自然科学基金UCON 模型中基于谓词抽象和搜索空间划分的隐通道搜索方法 (BK**),已结题,排名第三
论文:
[1]. Zhifeng Liu, Conghua Zhou, Yun Ge and Dong Zhang, Algorithmic Verification of Intransitive Noninterference for 3-domain Security Policies with a SAT Solver, Applied Mathematics & Information Sciences. Volume 7, No. 5 (Sep. 2013), PP:1825-18350(SCI检索)
[2]. 刘志锋, 周从华, 孙博, 概率实时时态认知逻辑模型检测中抽象技术的研究,电子学报,vol.40,No.7,1343-1351,2013.(EI检索)
[3]. Liu Zhifeng, Ye Meng, ZhouConghua. Bounded model checking for repeated reachability and persistence properties in probabilistic reward temporal logic. Journal of Computational Information Systems, v 9, n 8, p 3261-3269, 2013. (EI检索)
[4].)Liu Zhifeng, Sun Bo, Zhou Conghua, Three-valued Abstraction in Model Checking Real TimeTemporal Logic of Knowledge. Journal of Computational Information Systems, Vol. 8(13):5615-5627,2012. (EI检索)
[5]. Liu Zhifeng, Ge Yun, Zhang Dong, Stepwise CTL Model Checking, Journal of Computational Information Systems, Vol. 7(13): 4772- 4780, 2011. (EI检索)
[6]. Liu Zhifeng, Ge Yun, Zhang Dong, Zhou Conghua, Completeness of bounded model checking temporal logic of knowledge, Journal of Southeast University (English Edition), 26(3):399-405, 2010.(EI检索)
[7]. Zhifeng Liu, Zhihu Xing, Characterizing Petri Nets with the Temporal Logic CTL,National Conference on Information Technology and Computer Science (CITCS 2012), Published by Atlantis Press, 278-281, Lanzhou,China Nov.16-18, 2012.(EI检索)
[8]. 周从华,刘志锋,吴海玲,陈松,面向无传递性安全策略的语法信息流分析方法,计算机科学与探索, 5(2):179-192, 2011. (SCI检索)
[9]. 周从华,刘志锋,吴海玲,陈松,鞠时光,非传递广义无干扰属性符号化算术验证的研究,中国科学:信息科学, 41(11):1310-1327, 2011. (SCI检索)
[10]. 周从华,刘志锋, 王昌达, 概率计算树逻辑的限界模型检测.软件学报, 23(7):1656-1668, 2012. (EI检索)
[11]. 周从华,叶萌,王昌达,刘志锋.多智体系统中约简状态空间的限界模型检测算法,软件学报, 23(11):2835-2861, 2012. (EI检索)
[12]. Conghua ZHOU, Bo Sun, Zhifeng LIU, Abstraction for model checking multi-agent systems, Front. Comput. Sci. China, 5(1):14–25, 2011. (SCI检索)
[13]. Conghua Zhou, Bo Sun, Zhifeng Liu,Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge, Lecture Notes in Artificial Intelligence, 6319:209-221, 2010. (EI检索)
[14] 刘志锋, 鞠时光, 周从华, 王昌达, 隐通道传递信息机理的研究,计算机科学, 2007,vol.34,No.10, p92-95.
[15] 刘志锋, 鞠时光, 李沛, 基于操作语义的磁臂隐通道分析,计算机应用研究,2007, vol.24, No.11, p157-160.
软件著作权
1. 基于Android的江苏大学校车定位系统V1.0 2014SR014596
2. 基于Android的镇江公共自行车查询系统V1.0 2014SR100623
3. “江苏大学团委”微信公众平台 2014R11L172138
删除或更新信息,请邮件至freekaoyan#163.com(#换成@)
江苏大学计算机科学与通信工程学院导师教师师资介绍简介-刘志锋
本站小编 Free考研考试/2021-03-13
相关话题/江苏大学 计算机科学
江苏大学计算机科学与通信工程学院导师教师师资介绍简介-陆虎
教师姓名:陆虎职务职称:副教授、硕导所属系部:计算机科学系研究方向:人工智能、脑认知、深度学习、计算机视觉联系电话:**(微信)电子邮箱:luhu@ujs.edu.cn个人简介个人简介2009/09-2013/06,复旦大学,计算机科学技术学院,计算机软件与理论专业博士2013/10-2018/06 ...江苏大学师资导师 本站小编 Free考研考试 2021-03-13江苏大学计算机科学与通信工程学院导师教师师资介绍简介-牛德姣
教师姓名: 牛德姣职务职称: 副教授、硕士生导师所属系部: 计算机科学与技术研究方向: 类脑智能计算、分布式计算、大数据存储联系电话: -414电子邮箱: djniu@ujs.edu.cn个人简介教育经历1996.9-2000.7江苏理工大学计算机科学与技术专业获工学学士学位2000.9-2003. ...江苏大学师资导师 本站小编 Free考研考试 2021-03-13江苏大学计算机科学与通信工程学院导师教师师资介绍简介-聂文惠
教师姓名:聂文惠职务职称:副教授所属系部:基础部研究方向:数据库理论与应用、数据挖掘、大数据处理联系电话:**电子邮箱:whnie@ujs.edu.cn个人简介获得江苏大学硕士学位,副教授,美国ACM(AssociationforComputingMachinery)会员,江苏省镇江市百名教授进企业 ...江苏大学师资导师 本站小编 Free考研考试 2021-03-13江苏大学计算机科学与通信工程学院导师教师师资介绍简介-潘雨青
教师姓名: 潘雨青职务职称: 副教授所属系部: 计算机科学系研究方向: GIS、智能交通联系电话: **电子邮箱: panyq@ujs.edu.cn个人简介1993-1997江苏理工大学学,计算机科学与技术专业,1997年7月获学士学位;2000-2003江苏大学,计算机应用,硕士;教研成果1)面向 ...江苏大学师资导师 本站小编 Free考研考试 2021-03-13江苏大学计算机科学与通信工程学院导师教师师资介绍简介-潘森杉
教师姓名:潘森杉职务职称:副教授,硕导,系副主任所属系部:网络空间安全系研究方向:网络安全联系电话:**电子邮箱:ss.pan@aliyun.com个人简介潘森杉,博士,讲师,现就职于江苏大学计算机科学与通信工程学院物联网空间安全系。2009年6月毕业于南京师范大学数学与计算机科学学院,信息与计算科 ...江苏大学师资导师 本站小编 Free考研考试 2021-03-13江苏大学计算机科学与通信工程学院导师教师师资介绍简介-宋和平
教师姓名: 宋和平职务职称: 副教授,博士所属系部: 软件工程系研究方向: 智能信息处理联系电话: 电子邮箱: songhp@ujs.edu.cn,个人主页:http://songhp.github.io/个人简介2008/09–2011/12博士中山大学计算机应用技术2005/09–2008/07 ...江苏大学师资导师 本站小编 Free考研考试 2021-03-13江苏大学计算机科学与通信工程学院导师教师师资介绍简介-钱少先
教师姓名: 钱少先职务职称: 副教授所属系部: 基础部研究方向: 模式识别联系电话: **电子邮箱: qianshx@126.com个人简介从事于本科生计算机基础和程序设计语言的教学,以及研究生的“计算机视觉”教研成果 ...江苏大学师资导师 本站小编 Free考研考试 2021-03-13江苏大学计算机科学与通信工程学院导师教师师资介绍简介-王洪金
教师姓名: 王洪金职务职称: 副教授所属系部: 通信工程系研究方向: 数字信号处理,无线通信技术联系电话: -511电子邮箱: dlhjwang@ujs.edu.cn个人简介1988-1991大连海事大学,电子信息系统专业,1991年7月获硕士学位;1984-1988大连海事大学,电子工程系,198 ...江苏大学师资导师 本站小编 Free考研考试 2021-03-13江苏大学计算机科学与通信工程学院导师教师师资介绍简介-宋香梅
教师姓名: 宋香梅职务职称: 副教授所属系部: 网络空间安全系研究方向: 信息安全,隐通道联系电话: 电子邮箱: jlsxm@ujs.edu.cn个人简介宋香梅,女,1979年11月出生,吉林桦甸人,现在江苏大学计算机学院任教。2002年6月获得江苏大学计算机科学与技术学士学位,2005年6月获得江 ...江苏大学师资导师 本站小编 Free考研考试 2021-03-13江苏大学计算机科学与通信工程学院导师教师师资介绍简介-王新宇
教师姓名: 王新宇职务职称: 副教授所属系部: 计算机科学系研究方向: 三维模型数字水印联系电话: **电子邮箱: cn_wxy@126.com个人简介 1996-2000年毕业于江苏理工大学计算机应用专业,获学士学位;2003-2006年毕业于江苏大学计算机应用专业,获硕士学位;现攻读博士学位。 ...江苏大学师资导师 本站小编 Free考研考试 2021-03-13