系统与网络安全:访问控制、可信计算、云计算安全、SDN安全、安全协议
女,博士,副教授,硕士生导师。外围投注365教师、武汉大学教育部空天信息安全与可信计算重点实验室固定成员。 1998年毕业于外围投注365。 2004年获外围投注365硕士学位。 2008年获外围投注365信息安全专业博士学位。 2010年1月至2011年1月美国亚利桑那州立大学(Arizona State University)Ira A. Fulton工程院信息安全中心访问学者。
《信息系统安全》、《主流操作系统安全》、《Web网页设计》、《计算机网络》
[1] 王鹃,王江,焦虹阳,王勇,陈诗雅,胡宏新.一种基于OpenFlow的SDN访问控制策略实时冲突检测与解决方法. 计算机学报. 2015.4.
[2] YU fajiang,ZHAO bo,WANG Juan,YANfei,ZHANG liqiang,A Formal Analysis of TPM 2.0 HMAC Authorization under DRM Scenario,Security and Communication Networks,2015.1.
[3] Juan Wang,Bo Zhao,Fei Yan,Fajing Yu,Liqiang Zhang,Huanguo Zhang.Poster:An E2E Trusted Cloud Infrastructure. 21st ACM Conference on Computer and Communications Security.2014,11.
[4] WANG Juan,LIN WuTao,LI HaoYu,DU BianXia,MENG Ke,WANG Jiang. Trusted Mobile Payment Environment Based on Trusted Computing and Virtualization Technologies .Journal of Wuhan University(Natural Science Edition). 2014.10.
[5] Juan Wang, Xuhui Xie, Qingfei Wang, FeiYan, Hongxin Hu. Towards a Trusted Launch Mechanism for Virtual Machines in Cloud Computing, 4th International Conference on Cloud Computing. October 17–19, 2013, Springer LNCS.
[6] Juan Wang, Qingxin Sun, Hongxin Hu, He Shi and Longjie Zeng. Towards a Security-Enhanced Firewall Application for OpenFlow Networks. The 5th International Symposium on Cyberspace Safety and Security (CSS 2013), November 13-15, 2013, Springer LNCS.
[7] 唐西铭,王鹃,王勇,严飞,马骏,徐晶,孙庆鑫. 一种基于手机令牌和短距离通信技术的身份认证系统, 武汉大学学报理学版,2013.10.
[8] Ximing Tang, Juan Wang, Qinxin Sun,He Shi, Ming Jing Y. Policy-based Web Service Attestation in Cloud. The 5th International Conference on Multimedia Information Networking and Security, November 1–3,2013, IEEE press
[9] WangJuan, Hongxin Hu, Zhao bo,Yanfei. Formal Analysis of Information Card Federated Identity-Management Protocol, Chinese Journal of Electronics,2013(1):83-88.
[10]王鹃,何琪,严飞,蒋万伟,杨明,王妍.一种以用户为中心的移动互联网身份管理及认证系统.山东大学学报(理学版),2012 Vol.47 (11): 12-17.
[11] 赵波,严飞,张立强,王鹃.可信云计算环境构建.计算机学会通讯,8(7):28-34,2012.
[12] Yan Fei, Xiong Shengchao, Tang Jingya and Wang Juan. An Insecure Information Flow Path Search Method in Decentralized Information Flow Control System. Journal of Computational Information Systems, Vol.8(16):8002-8007,2012.
[13] Yan Fei, Tang Jingya and Wang Juan. Effect: An Operation View Mechanism for Decentralized Information Flow Control.Wuhan University Journal of Natural Sciences, 2012.
[14] Fei YANG, Bo ZHAO, Jing LI, Juan WANG, Hang SU,An Optimized Memory Integrity Verification Mechanism Based on Advanced Hot Window Hash Tree.Journal of Computational Information Systems 8: 24 (2012) 10449–10457.
[15] WangJuan, Hongxin Hu. Security Validation of Information Card Protocol With AVISPA,2010 International Conference on Information Security and Artificial Intelligence,Chengdu,China,17-19 Dec,2010. IEEE press
[16] 王鹃,张焕国,刘珺.基于扩展CS逻辑的非否认协议形式化分析方法.计算机科学,2010,37(5):100-104.
[17] 王鹃,李俊娥,刘珺.一种基于Proxy的Web应用安全漏洞检测方法的设计与实现.武汉大学学报工学版,2005,28(5):135-140.
[18]Wang Juan,Li Yune,Analysis of Security Assertion Markup Language,Jounal of MICROCOMPUTER & ITS APPLICATIONS,2003,(10).
专利:
[1] 王鹃、王江、陈诗雅、焦虹阳、康强龙. 基于OpenFlow 的SDN状态防火墙, 中国国家发明专利,专利申请号201410393568.4
[2] 王鹃、林武桃、杜变霞、孟轲、李皓宇. 一种移动平台可信支付系统,中国国家发明专利,专利申请号201410139413.2
[3] 王鹃、肖峰、文茹、黄坚伟、林丽丽、樊成阳. 一种基于SDN的Chaos移动目标防御方法及系统 ,中国国家发明专利,专利申请号2015106630042.5
[4]王鹃、谢旭徽、曾龙杰、王江.一种防止云平台虚拟机非法启动的镜像加解密方法, 201310478092.X
[5]王鹃、唐西铭、王勇、徐晶、马骏 ,一种基于手机令牌和NFC技术的Web身份认证方法,201310304834.7
[6]王鹃、周司珺.,面向云平台虚拟机的远程证明,.201310474995.0
[7]何伟,那红旭,张焕国,王鹃.基于Usbkey和TPM组合密钥的虚拟机双向身份认证系统.201310571495.9
[8] 王鹃、蒋万伟.一种基于虚拟卡的移动互联网身份认证系统.201210896712.5
1、主持国家自然基金:“面向云环境的动态可信SDN防火墙关键理论与技术研究” 项目
2、主持华为中央研究院: “基于OpenFlow的SDN安全策略动态冲突检测与解决技术” 创新项目
3、主持国家电网:“信息安全基线检测”项目
4、主持Intel合作科研项目:可信云平台关键技术研究
5、主持武汉大学自主科研青年基金
6、承担国家973项目:“可信云关键理论与技术研究“
7、承担国家863项目:”云安全测评关键技术研究”
8、承担浪潮技术有限公司:“可信云平台” 项目
9、承担华为技术有限公司合作科研项目:“可信虚拟机技术”
10、合作国防项目:“云服务XXX”,2011-2012
目前共指导研究生十余人
全国大学生信息安全竞赛,获全国一等奖3项,二等奖2项,三等奖1项,优秀指导教师2项
全国SDN应用创新比赛,全国二等奖一项,最具潜力奖一项
全国研究生移动应用创新大赛,全国二等奖1项