Publications by Yishi Zhao - ePrints

Browsing publications by Yishi Zhao.

Newcastle Authors	Title	Year
Yishi Zhao Dr Nigel Thomas	Performance Modelling of Optimistic Fair Exchange	2016
Yishi Zhao Dr Nigel Thomas	Performance Modelling of Optimistic Fair Exchange	2016
Dr Nigel Thomas Yishi Zhao	Performance modelling of security protocols	2013
Dr Nigel Thomas Professor Michael Harrison Yishi Zhao Xiao Chen	From Protocols to People: Large Scale Analysis in Markovian Process Algebra	2012
Yishi Zhao Dr Nigel Thomas	A Simplified Solution of a PEPA Model of Kerberos Protocol	2011
Dr Nigel Thomas Yishi Zhao	Mean value analysis for a class of PEPA models	2011
Yishi Zhao Dr Nigel Thomas	Efficient solutions of a PEPA model of a key distribution centre	2010
Yishi Zhao Professor Xiangning He Dr Simon Lambert Professor Volker Pickert	High Steo-up Boost Converter with Coupled Inductor and Switched Capacitor	2010
Yishi Zhao Dr Nigel Thomas	Comparing Methods for the Efficient Analysis of PEPA Models of Non-repudiation Protocols	2009
Yishi Zhao Dr Nigel Thomas	Efficient Analysis of PEPA model of Non-repudiation Protocols	2009
Yishi Zhao Dr Nigel Thomas	Experience of using the PEPA performance Modelling Tool for a Non-repudiation Protocol	2009
Dr Nigel Thomas Yishi Zhao	Mean value analysis for a class of PEPA models	2009
Yishi Zhao Dr Nigel Thomas	A Cost Model Analysis of a Secure Key Distribution Centre	2008
Yishi Zhao Dr Nigel Thomas	Efficient solutions of a PEPA model of key distribution centre with a cost function	2008
Dr Nigel Thomas Yishi Zhao	Fluid flow analysis of a model of a secure key distribution centre	2008
Yishi Zhao Dr Nigel Thomas	Modelling secure secret key exchange using stochastic process algebra	2007
Yishi Zhao Dr Nigel Thomas	Modelling secure secret key exchange using stochastic process algebra	2007