School of Computing

Staff Profiles

Dr Wen Zeng

Guest Member of Staff

Background

Dr. Wen Zeng is a Guest Member of Staff at the School of Computing Science, Newcastle University. She is working with Professor Maciej Koutny and Professor Brian Randell on the EPSRC funded projects. She was awarded her Ph.D. on "Quantitative Analysis of Distributed Systems" under the supervision of Professor Maciej Koutny in 2014.

Her research interests mainly include: Petri net based behavioural models of complex systems; distributed systems, with a focus on quantitative aspects (costs, likelihoods, time); Cyber security (information security economics, digital rights management systems, information flow security, security metrics and standards). 

She has a strong research background in applied mathematics, theoretical computer science and Cyber security. She has a BSc in applied mathematics (information and computing science), and during the past eight years (PhD plus Post-doctoral period) she developed systematic approaches to quantitatively analyse the information flow security in concurrent and distributed system. In their research, they are focusing on using formal models (e.g., queueing theory, Petri nets, and stochastic Petri nets) to qualitatively and quantitatively analyse the security properties in the cloud computing systems. In addition, they have investigated the failure of the systems and user behaviours would affect the productivity of the staff members in the business organisations. 

Funding:

  • Wen Zeng, Maciej Koutny, and Paul Watson, “Opacity for Internet of Things”, 05/2014 – 07/2014, £ 4500, School Research Funds from School of Computing Science, Newcastle University: to quantitatively analyze the opacity in Internet of Things with cloud computing systems.



Research

Journal papers:

  1. Zeng, W. and Koutny, M. “Quantitative analysis of opacity in cloud computing systems”. Journal of Information Security, 2017. (to appear)
  2. Zeng, W., Koutny, M., Watson, P. and Germanos, V. “Formal verification of secure information flow in cloud computing”. In special issue on security and privacy in cloud computing, Journal of Information Security and Applications, Volume 27-28, April – May 2016, Pages: 103-116.
  3. Zeng, W. and van Moorsel, A. “Quantitative evaluation of Enterprise DRM technology”. In Journal Electronic Notes in Theoretical Computer Science (ENTCS), Volume 275, September 2011, Pages: 159-174.

 Conference/Workshop papers:

  1. Zeng, W., Koutny, M. and Watson, P. “Opacity in Internet of Things with cloud computing”. In 8th IEEE International Conference on Service-Oriented Computing and Application (SOCA), 2015.
  2. Zeng, W., Koutny, M. and Watson, P. “Verifying secure information flow in federated clouds”. In 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2014. 
  3. Zeng, W., Koutny, M. and van Moorsel, A. “Performance modelling and evaluation of enterprise information security technologies”. In 14th IEEE International Conference on Computer and Information Technology (CIT), 2014.
  4. Zeng, W., Koutny, M. and Watson, P. “A flow sensitive security model for cloud computing systems”. In Engineering Dependable Systems of Systems (EDSoS), 2014.
  5. Zeng, W. and Koutny, M. “Data resources in dynamic environments”. In 8th IEEE Theoretical Aspects of Software Engineer (TASE), 2014.
  6. Zeng, W., Liu, K. and Koutny, M. “Cost-benefit analysis of Digital Rights Management products using stochastic models”. In 46th Annual Simulation Symposium (ANSS), 2013.
  7. Zeng, W. and Liu, K. “Sensitivity analysis of loss of corporate efficiency and productivity associated with Enterprise DRM technology”. In 7th IEEE International Conference on Availability, Reliability and Security (ARES), 2012.

 Technical reports:

  1. Zeng, W., Koutny, M. and Watson, P. “Opacity in Internet of Things with cloud computing”. In Newcastle University, school technical report CS-TR-1481, September 2015.
  2. Zeng, W., and Koutny, M. “A flow-sensitive security model for cloud computing systems”. In Newcastle University, school technical report: CS-TR-1387, June 2013. 
  3. Zeng, W. and van Moorsel, A. “Quantitative evaluation of Enterprise DRM technology”. In Newcastle University, school technical report: CS-TR-1238, March 2011. 
  4. Zeng, W., S. Parkin, and van Moorsel, A. “Digital rights management”. In Newcastle University, school technical report: CS-TR-1223, October 2010.