目录
更新日期:2015年11月17日
姓 名 王健 性 别
出生年月 1979年6月 籍贯 黑龙江哈尔滨市
民 族 汉族 政治面貌 党员
最后学历 博士研究生毕业 最后学位 工学博士
技术职称 副教授 导师类别 硕导
行政职务 Email wangjianlydia@163.com
工作单位 哈尔滨理工大学计算机学院 邮政编码 150080
通讯地址 哈尔滨市南岗区学府路52号
单位电话 0451-86390968
个人主页
个人简介

王健,女,1979年6月生,哈尔滨理工大学,计算机科学与技术学院,副教授,硕士生导师。博士期间一直从事有关可生存性、自律计算及认知网络等方面相关理论研究及应用系统研发,作为骨干成员参加了国家自然科学基金“面向认知网络的自律计算模型及评价方法研究(60973027)”、高等学校博士点专项基金“关键任务分布式计算机系统自律恢复性设计及评价研究(20050217007)”及863计划 “基于自律计算的分布式系统可恢复性关键技术(2007AA01Z401)”等科研项目的研究工作。目前,负责的在研项目“基于认知循环的任务关键系统可生存性自主增长模型与方法(61403109)”获得国家自然科学基金资助,“认知网络系统的形式化建模与分析方法”获得中国博士后科学基金面上资助,“任务关键系统可信性增强的自律机理研究(20112303120007)”获得高等学校博士点专项基金资助,“面向关键服务的可生存网络系统建模与分析方法(12511099)”获得黑龙江省教育厅科研基金资助,“任务关键系统自律可信性评价与验证方法”获得校青年基金资助,“大规模拒绝服务攻击下网络可生存性关键技术研究(No.GZ09A109)” 获得黑龙江省科技攻关计划资助。在包括计算机研究与发展、通信学报、高技术通讯、哈尔滨工业大学学报、LNCS、IEEE、Journal of China Universities of Posts and Telecommunications、Tsinghua  Science Technology等在内的国内外期刊会议发表学术论文30余篇,其中被SCI/EI检索20余篇,申请发明专利2项,实用新型专利6项,出版网络与信息安全专业教材2部。曾多次参加与研究领域相关的国内、国际学术会议,进行学术交流,积累了较丰富的科研实践经验。

工作经历

2009/03 – 至今,哈尔滨理工大学,计算机科学与技术学院,副教授,硕士生导师

2001/07 – 2003/09,哈尔滨医科大学,生物信息科学与技术学院,助教

教育经历

2006/03 – 2009/03,哈尔滨工程大学,计算机科学与技术学院,博士

2003/09 – 2006/03,哈尔滨工程大学,计算机科学与技术学院,硕士

1997/09 – 2001/07,哈尔滨师范大学,计算机科学与技术学院,学士

社会、学会及学术兼职

中国计算机学会 会员

研究领域

网络与信息安全

科研项目

 

项目名称和编号

经费来源

起止年月

排名

基于认知循环的任务关键系统可生存性自主增长模型与方法(61403109)

国家自然科学基金青年基金

2015.01-2017.12

项目负责人

任务关键系统可信性增强的自律机理研究(20112303120007)

高等学校博士学科点专项科研基金(新教师类)

2012.01-2014.12

项目负责人

认知网络系统的形式化建模与分析(20090460882)

中国博士后科学基金

2010.01-2012.12

项目负责人

面向关键服务的可生存网络系统建模与分析方法(12511099)

黑龙江省教育厅科研项目

2011.01-2013.12

项目负责人

大规模拒绝服务攻击下网络可生存性关键技术研究(GZ09A109)

黑龙江省科技攻关计划

2010.01-2012.12

第2负责人

 

 

发表论文

1. Huiqiang Wang, Jian Wang* and Guosheng Zhao. A new bio-inspired model for network security and its application. Advanced Web and Network Technologies, and Applications, 2006: 756-759P (导师第一, 通讯作者, SCI: BDV63)

2. Jian Wang*, Huiqiang Wang and Guosheng Zhao. Formal modeling and quantitative evaluation for information system survivability based on PEPA. The Journal of China Universities of Posts and Telecommunications, 2008, 15(2): 88-96P (EI: 082811358256)

3. Jian Wang*, Huiqiang Wang and Guoheng Zhao. A novel quantitative analysis model for information system survivability. Tsinghua Science and Technology, 2007, 12(1): 217-222P (EI: 073510796196)

4. 王健*, 王慧强, 赵国生. 分布式任务关键系统生存性自动分析与验证. 高技术通讯, 2009, 19(6): 572-579页 (EI: 20092912195505)

5. 王健*, 王慧强, 赵国生. 基于序列蒙特卡罗的网络生存态势评估. 哈尔滨工业大学学报, 2008, 40(5): 802-806页 (EI: 082811371467)

6. Jian Wang*, Huiqiang Wang and Guosheng Zhao. ERAS-an emergency response algorithm for survivability of critical services. The First International Multi-Symposiums on Computer and Computational Sciences, 2006: 97-100P (EI: 065110322766)

7. Jian Wang*, Huiqiang Wang and Guosheng Zhao. A comprehensive bio-inspired model for network security. The First International Conference on Semantics, Knowledge and Grid, 2006: 4125907P (EI: 072510660249)

8. Jian Wang*, Huiqiang Wang and Guosheng Zhao. A comprehensive assessment method for network survivability. The International Conference on Internet Computing in Science and Engineering, 2008: 335-338P (EI: 083811554756)

9. Jian Wang*, Huiqiang Wang and Guosheng Zhao. Index system of information systems survivability: formal definitions and reasoning. The International Conference on Internet Computing in Science and Engineering, 2008: 294-297P (EI: 083811554747)

10. Jian Wang*, Lili Guo and Guosheng Zhao. Study on formal modeling and analysis method oriented cognitive network. The 5th International Symposium on Computational Intelligence and Design, 2012: 402-405P (EI: 20130716008376)

11. Jian Wang*, Guosheng Zhao. Study on self-configuration model and environment awareness algorithm for mission-critical systems. Electronic Engineering and Information Science, 2014: 240-243P (EI: 20143218025197)

12. Jian Wang*, Huiqiang Wang and Guosheng Zhao. A situation assessment method for network survivability. Wuhan University Journal of Natural Sciences, 2006, 11(6): 1785-1788P (ISTP: 9300678)

13. 王健*, 王慧强, 赵国生. 一种增强系统可生存性的多目标资源重配算法. 计算机研究与发展, 2006, 43(S2): 487-491页

14. 王健*, 赵国生, 刘海龙. 面向认知网络的形式化建模与分析方法初探. 中南大学学报, 2010, 41(1): 103-107页

15. 王健*, 王慧强, 赵国生. 信息系统可生存性定量评估指标体系研究. 计算机工程, 2009, 35(3): 54-56页

16. 王健*, 王慧强, 赵国生. 基于模糊矩阵博弈的网络可生存策略选择模型. 武汉大学学报, 2007, 53(5): 531-534页

17. 王健*, 王慧强, 赵国生. 基于不确定型AHP的网络生存能力模糊综合评估. 计算机科学, 2006, 33(6): 73-76页

18. 王健*, 郭黎利, 李扬. 任务关键系统可生存性的形式化建模方法. 山东大学学报, 2011, 46(9): 89-94页

19. 王健*, 孙广路, 赵国生, 赵中楠. 面向服务性能的认知网络理论及形式化建模方法. 哈尔滨理工大学学报, 2014, 19(1): 25-30页

20. 王健, 赵国生, 张楠. 基于模糊关系矩阵的可生存系统认知参考模型分析. 武汉大学学报,2015, 61(1): 60-66页

21. 王健, 赵国生. 基于SM-PEPA的可生存系统认知模型及量化分析. 华中科技大学学报,2015, 43(5): 99-103页 (EI: 20152400935919)

22. 赵国生, 王健, 刘海龙. 增强信息系统可生存性的应急响应模型. 通信学报, 2010, 31(9): 150-154页 (EI: 20104613391352)

23. Guosheng Zhao, Jian Wang, Lin li and Nan zhang. Study on four-level emergency rejuvenation for survivable system. Applied Mechanics and Materials, 2013: 1830-1833P(EI: 20134316889062

24. 赵国生, 李光程, 王健. 基于多维动态S盒和LFSR的分组密码算法.  华中科技大学学报,2015, 43(5): 119-123页 (EI: 20152400935923)

25. 赵国生, 王慧强, 王健. 基于灰色Verhulst的网络安全态势感知模型. 哈尔滨工业大学学报, 2008, 40(5): 798-801页 (EI: 082811371466)

26. 赵国生, 王慧强, 王健. 可生存性网络的形式化建模与分析. 通信学报, 2006, 27(11): 48-52页 (EI: 071010470905)

27. 赵国生, 王慧强, 王健. CLDF:一种增强关键服务可生存性的应急调度算法. 解放军理工大学学报, 2008, 9(5): 528-531页 (EI: 084811749788)

28. 赵国生, 王慧强, 王健. 基于灰色关联分析的网络可生存性态势评估方法. 小型微型计算机系统, 2006, 27(10): 1861-1864页 (ISTP: 9191403)

29. 赵国生, 王慧强, 王健. 基于自主配置的网络可生存性增强技术研究. 武汉大学学报, 2006, 52(5) : 582-586页

30. 赵国生, 王慧强, 王健. 信息系统可生存性的定量分析模型. 计算机工程, 2008, 34(6): 41-43页

31. 赖积保, 王慧强, 王健. 系统可生存性研究综述. 计算机科学, 2007, 34(3): 237-239页

32. 赵中楠, 乔佩利, 王健. 基于网络环境域认知的任务关键系统自配置管理模型与感知算法. 哈尔滨理工大学学报, 2013, 18(4): 74-78页

33. 孙涛, 赵国生, 王健. 一种信息系统可生存性自配置增长方法. 价值工程,  2013, 32(2): 213-214页

34. 孙涛, 赵国生, 王健. 认知网络体系及认知行为模型. 科技向导, 2012: 6-7页

35. 苏岩, 赵国生, 王健. 一种可生存系统自主管理模型. 计算机科学, 2014.06

36. Guosheng Zhao, Huiqiang Wang and Jian Wang. An emergency algorithm for enhancing survivability of key services. Journal of Southeast University, 2007, 23(3): 443-446P (EI: 074310888132)

37. Guosheng Zhao, Huiqiang Wang and Jian Wang. A novel formal analysis method of network survivability based on stochastic process algebra. Tsinghua Science and Technology, 2007, 12(1): 175-179P (EI: 073510796188)

38. Guosheng Zhao, Huiqiang Wang and Jian Wang. A novel situation awareness model for network systems’ security. The International Conference on Computational Science, 2007: 1077-1084P (EI: 080411044744)

39. Guosheng Zhao, Huiqiang Wang and Jian Wang. A novel quantitative analysis method for network survivability. The First International Multi-Symposiums on Computer and Computational Sciences, 2006: 30-33P (EI: 065110322755)

40. Guosheng Zhao, Huiqiang Wang and Jian Wang. A strategy selection model for network survivability based on Fuzzy Matrix Game. The 9th International Conference on Web-Age Information Management, 2008: 636-639P (EI: 083911587561)

41. Huiqiang Wang, Guosheng Zhao and Jian Wang. Survivable network system: an immune approach. The 2008 International Conference on Internet Computing in Science and Engineering, 2008: 329-331P (EI: 20083811554754)

42. Tao Sun, Guosheng Zhao and Jian Wang. A method of autonomous recoverment for survivable system. Advanced Materials Research, 2013: 1382-1386P(EI: 20134116843665

43. GuoshengZhao, Lin li, Linyang Sheng, Jian Wang and Nan Zhang. A structure of cognitive unit for surviable system. Advanced materials research, 2013: 805-806P(EI:20134416919140

44. Tao Sun, Guosheng Zhao, Yan Su, Hailong Liu and Jian Wang. A complete performance evaluation indexes of survivable system. Applied Mechanics and Materials. 2013: 380-384P(EI: 20134116829180

45. Guosheng Zhao, Lin Li, Linyang Sheng, Jian Wang and Nan Zhang. Cognitive model and formal description for survivable system based on SM-PEPA. WIT Transactions on Information and Communication Technology, 2013: 1265-1272P

46. Guosheng Zhao, Nan Zhang, Linyang Sheng, Jian Wang and Lin Li. Formal description of cognitive reference model for survivable system based on symbolic trace method. WIT Transactions on Information and Communication Technology, 2013: 1273-1280P

出版专著和教材

1. 郭方方, 王健主编. PHP开发一站式学习. 清华大学出版社, 2013.03

2. 史庆军, 马宪敏, 王健等. 网页制作与网站开发. 清华大学出版社, 2012.06

3. 王健, 赵中楠主编. Linux服务器配置与管理完全学习手册. 清华大学出版社, 2015

4. 赵国生, 王健主编. Linux操作系统原理与应用. 机械工业出版社, 2015

5. 王健, 赵国生主编. Matlab数学建模与仿真. 清华大学出版社, 2015

6.  赵国生, 于翔, 王健主编. Matlab完全学习手册. 清华大学出版社, 2015.01

 

科研创新

1. 王慧强, 赵国生, 王健. 基于四级嵌套重启的任务关键系统生存应急恢复方法.(发明专利: 200910071914.6)

2. 王慧强, 卢旭, 赵国生, 王健. 基于多主体随机决策过程的分布式系统自愈调控方法.(发明专利: 200910071280.4)

3. 王健, 赵中楠. 计算机自主监控组件.(实用新型: 201420019448.3)

4. 赵中楠, 王健. 确保网络安全的自适应隔离装置.(实用新型: 20142001 9428.6)

5. 赵国生, 王健, 刘海龙, 苏岩, 王群. 可生存系统自主识别装置.(实用新型: 201320399605.3)

6. 赵国生, 王健, 刘海龙, 苏岩, 王群. 可生存系统自主认知控制系统.(实用新型: 201320399606.8)

7. 孙涛, 赵国生, 王健. DDos攻击清洗系统.(实用新型: 201220740485.4)

8. 孙涛, 赵国生, 王健. DDos防御系统.(实用新型: 201220739041.9)

教学活动

近年来从事本科及研究生专业课程的教学工作,主讲课程有《信息系统安全工程》、《密码学》、《无线传感器网络》、《Linux网络编程》、《Linux服务器高级管理技术》、《uml建模》等。

指导学生情况

指导硕士研究生4名,留学生1名,工程硕士3名。

我的团队

本课题组长期从事系统主动网络与信息安全的研究及应用系统研发,积累了丰富的理论和实践经验。近几年跟踪并开展了有关系统可生存性、自律计算、认知网络等相关研究,投入大量人力研究多源异质传感器快速获取、异构信息的无缝融合、系统自恢复等技术的研究,在技术、人才、成果等方面有了一定的积累,熟悉并掌握了该领域的最新研究进展和前沿技术。结合上述科研工作,课题组主要成员在可生存性、可信网络、自律计算及认知网络等主动网络技术方面进行了大量的理论和实验研究工作,取得了一些科研成果,如专利、软件著作权、省部级奖励、学术论文等,具有从事相关研究的坚实基础。