科研項目: 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
|