科研項目：

1、國家自然科學基金 基于謂詞抽象技術的訪問控制策略安全性快速判定方法的研究（61300228） 在研，主持,2014-2016
2、十大靠谱的菠菜网高級人才科研啟動基金 基于布爾公式滿足性求解的無幹擾分析的研究，在研，主持,2012-2015
3、國家自然科學基金 信息流安全屬性算術驗證的研究（61003288），已結題，排名第二
4、江蘇省自然科學基金 UCON 模型中基于謂詞抽象和⚜⭐〰✝空間劃分的隐通道⚜⭐〰✝方法 （BK2010192），已結題，排名第三 

論文：
[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