陈铁明
 教授 博士生导师 硕士生导师　　　　
 性别：男
 学位：博士
 毕业院校：
 研究机构：计算机软件研究所
 邮箱：tmchen@zjut.edu.cn;
 办公地点：
 研究方向：网络空间安全、大数据智能

个人简介
简历：
陈铁明，男，1978年3月出生，浙江诸暨人，北京航空航天大学软件开发环境国家重点实验室博士毕业，现为浙江工业大学计算机科学与技术学院教授、计算机软件研究所副所长。IEEE/ACM会员，公安部网络安全特聘专家、中国计算机学会计算机安全专委会委员、中国电子学会信息安全专委会委员。目前担任浙江省信息安全产业技术创新战略联盟副理事长、浙江省计算机学会信息安全专委会副主任兼秘书长、杭州市计算机学会秘书长等社会职务。
长期从事网络与信息安全研究，曾在公安部第三研究所、国家反计算机入侵与病毒研究中心、美国辛辛那提大学、新加坡国立大学等访问研究。已负责完成国家重大支撑计划项目、国家自然科学基金、863计划课题、973计划课题、浙江省科技厅重点项目等近20项省部级课题，在国内外权威期刊和各类学术会议上发表论文50多篇，出版学术专著1部、授权国家发明专利10项，荣获省部级科技奖3项。

研究（情况）项目：
1.国家自然科学基金重点项目：工业信息物理融合系统安全理论与关键技术（U**），2016.01-2019.12。
2.国家自然科学基金面上项目：适用于无线传感器网络的轻量级密钥管理机制（**），2008.01-2010.12。
3.国家自然科学基金青年基金：无线传感网络安全协议的形式化建模与分析（**），2012.01-2014.12。
4.国家973计划项目子课题：信息服务的运行支撑平台及在交通、医疗信息服务中的实证研究（2010CB328106-3），2010.01-2011.12。
5.国家863科技计划课题：面向自组织网络的安全接入、认证、服务质量控制和监测技术研究（2006AA01Z235），2006.10-2008.12。
6.国家密码局十二五密码发展基金：无线传感网络密钥管理理论、方法及应用研究（MMJJ），2011.10-2013.10。
7.浙江省科技厅重点研究计划项目：面向智慧政务的多层安全体系关键技术研究及应用（2011LM103），2014.01-2015.12。
8.浙江省科技厅公益技术项目：物联网信息流安全等级模型及关键技术研究（2011C21046），2011.01-2012.12。
9.浙江省自然科学基金面上项目：面向无线传感器网络的数字混沌密码算法研究（Y**），2011.01-2012.12。
10.软件开发环境国家重点实验室开放课题：无线传感器网络协议的自动验证系统（SKLSDE-2009KF-2-01），2009.05-2011.05。
11.浙江省自然科学基金一般项目：面向动态协作的可信密钥管理与弹性授权机制研究（LY12F02038），2012.02-2014.12。
12.浙江省自然科学基金一般项目：基于集成学习的移动恶意软件协同检测方法研究（LY16F020035），2016.01-2018.12。
13.浙江省科技厅重大专项:企业商密文档综合管理支服务关键技术与应用（2013C01121），2014.01-2015.12。
14.浙江省信息安全产业技术创新战略联盟课题：云计算安全认证授权服务，2012.01-2013.12。
15.杭州市科技局重大研究计划项目：面向安防和定位服务物联网安全接入网关（**A31），2012.01-2013.12。
16.浙江省科技厅计划项目：面向云计算环境的信息安全管理平台（2010C31126），20-11.01-2012.12。
17.信息安全浙江省重点实验室开放课题：基于机器学习的软件恶意代码检测方法研究,2011.05-2013.05
18.信息安全浙江省重点实验室开放课题：安卓移动应用安全漏洞自动化检测系统,2016.05-2017.05
19.企业攻关课题：大规模数据的特征提取及智能分析系统，2012.12-2014.12.
20.企业攻关课题：静博士移动互联网应用平台开发，2014.05-2014.12
21.企业重大攻关课题：智慧金融安全软件服务平台的研究与开发，2016.12-2021.12.
发表的论文、专著、教材：
1. From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security using PAT，Journal of Sensors,2016(SCI)
2. A Systematic Study on Explicit-state Non-Zenoness Checking for Timed Automata, IEEE Transactions on Software Engineering (TSE),2015. (SCI)
3. Efficient classification using parallel and scalable compressed model and its application on intrusion detection.Expert Systems with Applications, 2014 (SCI)
4. Formalizing and verifying stochastic system architectures using Monterey Phoenix. Software & Systems Modeling, 2014.（SCI）
5. 混沌映射和神经网络互扰的新型复合流密码，物理学报，2013 (SCI)
6. From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security using PAT. Journal of Sensors,2016.(SCI)
7. Mystique: Evolving Android Malware for Auditing Anti-Malware Tools. AsiaCCS 2016.
8. Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata.TACAS 2014.
9. 基于模拟关系的精化研究.软件学报,2016.
10. Maldetect:基于Dalvik指令抽象的Android恶意代码检测系统.计算机研究与发展, 2016.
11. 一种新的快速特征选择和数据分类方法.计算机研究与发展,2012.
12. 面向无线传感器网络的混沌加密与消息鉴别算法.通信学报, 2013.
13. 基于敏感等级的云租户数据安全保护模型研究.系统工程理论与实践,2014.
14. 自适应AP聚类算法及其在入侵检测中的应用.通信学报,2015.
15. 专著:《无线传感网轻量级密码算法与协议》,人民邮电出版社
16. 教程:《网络空间安全实战基础教程》,人民邮电出版社
科研成果及专利：
1. 专利：一种面向无线传感器网络的互扰复合混沌流密码实现方法ZL4.6
2. 专利：一种面向无线传感器网络的混沌消息认证码实现方法ZL2.3
3. 专利：基于Web Service的IBE密钥管理系统ZL2.8
4. 专利：一种动态口令安全登录方法ZL1
5. 专利：一种融合神经网络与混沌映射的流密码密钥控制方法ZL2
6. 专利：基于神经网络权值同步的轻量级密钥协商方法ZL0
研究生培养等教学情况：
1.指导学生曾获2013年度浙江省优秀硕士毕业生
2. 指导学生曾获2项浙江省新苗杯科技创新计划项目
3. 指导学生创办浙江工业大学网络空间安全协会
4. 2015年首届中国(杭州)信息安全技术创新创业大赛二等奖指导教师
5. 负责《信息安全理论与基础》选修课程建设
奖励和荣誉：
1. 无线传感器网络轻量级密码协议研究, 2011浙江省高等学校优秀科研成果三等奖
2. 基于交互神经网络的轻量级安全协议研究与设计,浙江省自然科学基金委“十一五”优秀科研成果奖
3. 无线传感网轻量级密码及安全管理关键技术，2014中国电子学会技术发明三等奖
4. 网络空间安全实战演练教管系统，2016教育部高校自制实验设备评比三等奖
5. 第三届乌镇世界互联网大会网络安全保卫组专家工作获得2017年浙江省公安厅一等荣誉奖章