沈华伟.jpgYuanzhuo Wang (王元卓) Ph.D

Associate Professor
Key Laboratory of Network Science and Technology,
Institute of Computing Technology, Chinese Academy of Sciences

E-mail:  wangyuanzhuo{at}ict.ac.cn
Addr:    NO. 6, South Road, Kexueyuan, Zhongguancun, Beijing, China, 100190

 

Research    Education     Publications     Projects     Activities    Awards    Presentations    Students    Collaborators


Research area

  • Wireless networks and mobile computing, Game Theory in wireless network, Network coding;
  • Performance evaluation of computer networks, based on Queueing theory, Stochastic Petri Net and Stochastic Process Algebra;
  • Network security, Attack modeling and Network security analysis;

[go to top]


Education and Research Experience

[go to top]


Publications

Books

[1] Yuanzhuo Wang, Survivability Model Methods and Management Strategies to Web Service, Intellectual Property Press, ISBN 978-7-5130-0196-0, September 2010

[2] Chuang  Lin, Yuanzhuo Wang, Yang Wang. Evaluation and Analysis to Network Security Based on Stochastic Game Models, Tsinghua University PressDecember 2011, to appear

[go to top]

Journal Papers

[1]. Yuanzhuo Wang, Chuang LinKun Meng. Security Analysis for Service-Oriented Architecture using Hierarchical Stochastic Game Nets Model. Journal of Computer Science and Technology, April 2010, to appear

[2]. Yuanzhuo Wang, Chuang LinKun Meng. Modeling and Security Analysis of Enterprise Network Using Attack-Defense Stochastic Game Nets. IET Information Security. May 2010, to appear

[3]. Yuanzhuo Wang, Min Yu,Chuang Lin, Kun Meng, Stochastic Game Net and Applications in Security Analysis for Enterprise Network, International Journal of Information Security, October 2010, to appear

[4]. Chuang LinYuanzhuo WangKun Meng, Stochastic Game Nets and Applications” IEEE  Transactions on Dependable and Secure Computing, June 2010, to appear

[5]. Yuanzhuo Wang,Chuang Lin, Xueqi Cheng, Binxing Fang. Analysis for Network Attack-Defense Based on Stochastic Game Model. Chinese Journal of Computers. 2010,33(9):1-15 (EI) Download it!PDF format.

[6]. Quan Liang, Yuanzhuo Wang. The representation and computation of QoS preference with its applications in grid computing environment. Annals of telecommunications. doi: 10.1007/s12243-010-0193-z, May 2010 (SCI, EIDownload it!PDF format.

[7].   Yuanzhuo Wang, Chuang LinKun Meng, Junjie Lv. Analysis of Attack Actions for E-Commerce Based on Stochastic Game Nets Model. Journal of computers. 2009,4(6):461-467 EIDownload it!PDF format.

[8].   Yuanzhuo Wang, Chuang Lin, Peter D. Ungsunan. Modeling and Survivability Analysis of Service Composition Using Stochastic Petri Nets. Journal of super computing. October 2009 SCI, EIDownload it!PDF format.

[9].   Chuang Lin, Xin Jiang, Hao Yin, Yuanzhuo Wang, Yada Hu, and Binbin Xiong. Optimizing Availability and QoS of Heterogeneous Distributed System Based on Residual Lifetime in Uncertain Environment, Journal of Supercomputing(Springer Netherlands), 48(3):243-263, June 2009. SCI, EIDownload it!PDF format.

 

More...

[go to top]

Conference Papers

[1].     Yuanzhuo Wang, Chuang LinKun Meng. Security Analysis for Online Banking System Using Hierarchical Stochastic Game Nets Model. IEEE GLOBAL COMMUNICATIONS CONFERENCE. 2009 (EI, ISTP) Download it!PDF format

[2].     Yuanzhuo Wang, Chuang Lin,Yang Wang, Kun Meng. Security Analysis of Enterprise Network Based on Stochastic Game Nets Model. ICC'09 Communication and Information Systems Security Symposium. 2009 EI, ISTPDownload it!PDF format

[3].   Chuang Lin, Yuanzhuo Wang, Yang Wang.  A Stochastic Game Nets Based Approach for Network Security Analysis, In Proc. of the 29th International Conference on Application and Theory of Petri Nets and other Models of Concurrency, Concurrency metHods: Issues aNd Applications 2008 Workshop (Invited paper),

June 26-28, 2008:21-33. Download it!PDF format

[4].   Xiaomeng Huang, Chuang Lin, Fengyuan Ren, Guangwen Yang, Peter D. Ungsunan, Yuanzhuo Wang. Improving the Convergence and Stability of Congestion Control Algorithm. ICNP2007EI, ISTP

Download it!PDF format

 

More...

[go to top]

 


Projects

[1].   Project Leader and Principal Investigator, Application Sub-Project of Key technology and System of National Cyber Space Tested, funded by Key Project of Knowledge Innovation Program of Chinese Academy of Sciences, December 2009-September 2011,  ¥ 2,000,000.

[2].   Project Leader and Principal Investigator, Methods of Network Attack Model and Security Analysis Based on Stochastic Game Nets funded by the Chinese Natural Science Foundation, January 2009-December 2011¥210,000.

[3].   Project Leader and Principal Investigator, Study on the Modeling Method of Information Security Risk Evaluation in the Enterprise Based on the Stochastic Game Nets, funded by China Postdoctoral Science Foundation Special funded project, March 2009.3-March 2010¥100,000.

[4].   Project Leader and Principal Investigator, Study on Network Security Models and Analysis Methods Based on Stochastic Game Nets, funded by China Postdoctoral Science Foundation funded project, July 2008- December 2009¥50,000.

[5].   Project second Leader and Principal Investigator, Security Properties in Wireless Ad hoc Networksfunded by the Chinese Natural Science key Foundation (No. 60932003), January 2010-December 2013, ¥ 1,900,000

[6].   Principal Investigator, Control and Measurement for Quality of Service in Information Service, funded by the National Grand Fundamental Research 973 Program of China (No. 2010CB328105), January 2010- December 2014, ¥5,600,000.

[7].   Principal Investigator, Foundation Theory Research of Resource Organization and Management in Network Computing, funded by the Chinese Natural Science key Foundation, January 2004-December 2007¥ 2,000,000.

[8].   Project second Leader and Principal Investigator, Network Vulnerability AnalysisA Stochastic Model Checking Method funded by the Chinese Natural Science FoundationJanuary 2006-December 2006, ¥50,000.

[9].   Second , Modeling and analyzing of network survivability based on stochastic Petri nets, funded by the Chinese Natural Science Foundation (No. 60673187), January 2007-December 2009, ¥260,000.

[10].   Principal Investigator, Study of Key Technology of Grid Service Workflow, funded by the Chinese Natural Science Foundation(No.60673160)January 2007-December 2009, ¥250,000.

[11].   Principal Investigator, Quality of Service in Wireless Ad hoc Networks, funded by the Projects of Development Plan of the State High Technology Research 863 Program of ChinaJanuary 2007-December 2008, ¥950,000.

[12].   Project second Leader and Principal Investigator, Research on Security Model of User Behaviors in Network Media Community Based on Stochastic Game Nets, funded by the Projects of MOE-Microsoft Key Laboratory, January 2009-December 2009¥100,000.

[13].   Project second Leader and Principal Investigator, Research on United technology to QoP and QoS for Network Media, funded by the Projects of MOE-Microsoft Key Laboratory, January 2008-December 2008¥100,000.


Professional activity

  • 2005~ Present: Senior Member of China Computer Federation
  • 2009~ Present: Petri Net Technical committee, China Computer Federation
  • 2009~ Present: Member of IEEE
  • 2009~ Present: Member of ACM
  • 2009~ Present: IEEE Communications and Information Security Technical Committee;
  • 2009~ Present: Reviewer of Chinese Natural Science Foundation
  • Reviewer, Transactions on Parallel and Distributed Systems
  • Reviewer, International Journal of Internet Protocol Technology
  • Reviewer, Journal of Parallel and Distributed Computing
  • Reviewer, Journal of Computers
  • Reviewer, Journal of Computer Science & Technology
  • Reviewer, Chinese Journal of Computers
  • Reviewer, Chinese Journal of Electronics
  • Reviewer, Frontiers of Computer Science in China
  • PC member or Reviewer, NPC2005, ICMLC2006, PRDC2006, PDCAT2007, PetriNet2008, WCSE2009, ADHOC2009, ABBE 2011.

[go to top]


  • 2010: Hundred Stars Program, Institute of Computing Technology , Chinese Academy of Sciences
  • 2009: China Postdoctoral Science Special Foundation
  • 2009: Publishing Assistance for Excellent Doctor Degree Dissertation, State Intellectual Property Office of        China
  • 2008: China Postdoctoral Science Foundation
  • 2008: Excellent Doctor Degree Dissertation, University of Science and Technology Beijing
  • 2008: Excellent Graduate, University of Science and Technology Beijing
  • 2007: Excellent Graduate , Beijing

[go to top]


Presentations

l 

[go to top]


 

Group members and students

l     Lejun Fan

l   Min Yu

l Li Wang

l   He Gao

l   Huihui He

[go to top] 


Collaborators

 

l  Siming Lin

l   Jinming Li

l  Zhouyi Zhou

[go to top]


 

Copyright © 2010, Last modified: 2010-11-25