江苏大学教授，主要研究方向为人工曲械象严苦亚拉总智能、大数据分析与应用、数据与系统安全、物联网、模型检测。
- 中文名称 周从华
- 外文名称 conghua chou
- 别名 葱花
- 国籍 中国
- 民族 汉
教育经历
2001-2006 南京大学数学系攻读博士学位，并于2006年6月获得理学博士学位
199来自7-2001 南京大学数学系攻读学士学位，并于2001年6月获得理学学士学位
海外经历讲颂热
2006.1-2006.2 以学生身份访问德国帕德博恩大学计算钻迁狱敬机科学系
2011.07-2011.12 德国锡根大学访问学者
2014.08-2015.07 新加坡南洋理工大学计算机工程学院访问学者
主讲课程
1) 软件测试(面向研究生)
2) 数理逻辑(面向研究生)
3) 可计算理论(面向研长食有攻究生)
4) 安全协议(面向本科生)
5) 协议形式化分析(面向本科生)
主要研究方向
大数据分析技术、数据与系统安全、物联网、模型检测
获奖
1) 隐通道搜索方法的研究，镇江市科技进步三等奖，2008。
主持的项目
1) 基于满足性求解的限界模型检测的研究，江苏大学高级人才科研启动基金，No. 07JDG014, 2007-2010.
2) 信息流安全属性的统一表示及其符号化算术验证的研究，江苏省高校自然科学基金，No. 08KJD520015, 20问治弦集东额限汽08-2010.
科学杂志论文
[1]周从华，随机模型检测理论与叶应用，科学出版社，2014.
[2]周从华，邢支虎顶屋，刘志锋，王昌达, 马尔乎设杠可夫决策过程的限界模型检测,计算机学报，20转比盐13,36(12):2587-2600.
来自 [3]Shunrong Jiang, Jiapeng Zhang, JingJun Miao, and Con360百科ghua Zhou, A Privacy-Preserving R外况风杆围也汽令审装够eauthentication Scheme for Mobile Wireless Sensor Networks. International Journal of Distributed Sensor Networks. Volume 2013 (2013), Article ID 913782, 8 pages.
[4]Zhifeng Liu, Conghua Zhou, Yun Ge and Dong Zhang, Algorith沉mic Verification of Intransitive Noninterference for 3-domain Security Policies with a SAT Solver, Applied Mathematics & Information Sciences. 2013,7(5)艺体色神也将任挥:1825-1835.
[5]刘志锋, 孙博, 周从华, 概率实时时态认知逻辑模型检测中抽象技术的研究, 电子学报,2013,41(7):13量兰氧蒸43-1351.
[6]ZHOU Conghua, CAO Meiling , Analysis of Fast and Secure Protocol Based on Cont山程inuous-Time Markov Chain, China communications, 2013,10(8):137-149.
[7]周从华,吴海玲,鞠时光.灯形已团广义不可推断属性符号化算术验证的研究，计算机研究与发展.2012,49(12):2591-2602.
[8]周腿姜甩从华戏兰樱, 孙博, 刘志锋, 葛云. 概率时态认知逻辑模型检测中三值抽象技术的研究. 电子学报，2012,40(10):2052-2061.
[9]周从华, 叶 层盟修手备控片企抗听萌, 王昌达, 刘志锋， 情微将据保尽定多智体系统中约简状态空间的限界务布附苏还每陈我模型检测算法,软件学报, 2012,23(11):2835−2861.
[10]周从华,鞠时光，一种基于Petri网的隐蔽信息端章流分析方法，计算机学报，2012烈杂又做专刘亲,35(8):1688-1699.
[11]周从华训诗额, 刘志锋,王昌达，概率计算树逻辑的限界模型检测，软件学报，2012,23(7):1656-1668.
[12]Conghua Zhou, Bo Sun, Abstra然黄班方二秋李ction in Model Checking Real-Time Temporal Logic of Kn而owledge. Journa鲜输选事准程参起扩映教l of Computers. 2012,7(2):362-370.
[13]周从华，刘志锋，吴海玲，陈松，鞠时光，非传递广义无干扰属性符充趋符射号化算术验证的研究，中国科学:信息科学, 2011,41(11):1310-1327.
[14]Conghua Zhou, Meiling Cao, Meng Ye, Zhihao Qian, SAT-based Algorithmic Verification of Noninterference, Journal of Computers. 2011,6(11):2310-2320.
[15]Conghua Zhou, Bo Sun, Zhifeng Liu， Abstraction for Model Checking Multi-agent Systems，Frontiers of Computer Science in China，2011,5(1):14-25.
[16]周从华，刘志锋，吴海玲，陈松，面向无传递性安全策略的语法信息流分析方法，计算机科学与探索, 2011,5(2):179-192.
[17]Shiguang Ju, Conghua Zhou, Zhifeng Liu, Changda Wang, Xiangmei Song, Inference Channel Identification with Model Checking, Journal of computational information system, 2011,7(3): 1001-1012.
[18]Conghua Zhou, Song Chen, Minchao Wang, Haiyang Li, Zhihao Qian, Structure Reduction for Verifying Noninterference properties, Journal of Information & Computational Science, 2011,8(3):446-454
[19]吴海玲, 周从华, 鞠时光, 前向可修正属性算术验证的研究, 计算机科学2011,38(3):97-102.
[20]陈松，周从华，鞠时光，王基，基于Petri网的信息流安全属性的分析与验证，计算机应用研究，2010,27(12):4638-4642.1) 周从华, 一种基于满足性判定的并发软件验证策略，软件学报,2009,20(6):1414-1424.
[21]王昌达,鞠时光,周从华,宋香梅，一种隐通道威胁审计的度量方法， 计算机学报，2009，32(4):751-762.
[22]周从华，陈振宇，鞠时光，基于SAT的软件验证，计算机研究与发展，2008，45(s1):124-130.
[23]陈立, 鞠时光, 周从华, 房芳, 张翼, 基于信息熵的隐通道能力分析, 计算机应用研究,2009,25(8):3015-3018.
[24] 陈振宇，徐宝文，周从华，一种基于消解的变量极小不可满足子公式的提取方法，计算机研究与发展，2008，45(s1):43-47.
[25]周从华，刘志锋， 基于Petri网的工作流模型简化，计算机科学，2008，35(2):115-119.
[26]周从华，刘志锋,具有过去时态算子的计算树逻辑模型检测, 计算机工程，2007，33(22):98-100.
[27]周从华，陶志红，陈钟，王立福,基于时态逻辑的工作流分析, 计算机科学，2007，34(11):118-123.
