Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Yishi Zhao.

Newcastle AuthorsTitleYearFull text
Yishi Zhao
Dr Nigel Thomas
Performance Modelling of Optimistic Fair Exchange2016
Yishi Zhao
Dr Nigel Thomas
Performance Modelling of Optimistic Fair Exchange2016
Dr Nigel Thomas
Yishi Zhao
Performance modelling of security protocols2013
Dr Nigel Thomas
Professor Michael Harrison
Yishi Zhao
Xiao Chen
From Protocols to People: Large Scale Analysis in Markovian Process Algebra2012
Yishi Zhao
Dr Nigel Thomas
A Simplified Solution of a PEPA Model of Kerberos Protocol2011
Dr Nigel Thomas
Yishi Zhao
Mean value analysis for a class of PEPA models2011
Yishi Zhao
Dr Nigel Thomas
Efficient solutions of a PEPA model of a key distribution centre2010
Yishi Zhao
Professor Xiangning He
Dr Simon Lambert
Professor Volker Pickert
High Steo-up Boost Converter with Coupled Inductor and Switched Capacitor2010
Yishi Zhao
Dr Nigel Thomas
Comparing Methods for the Efficient Analysis of PEPA Models of Non-repudiation Protocols2009
Yishi Zhao
Dr Nigel Thomas
Efficient Analysis of PEPA model of Non-repudiation Protocols2009
Yishi Zhao
Dr Nigel Thomas
Experience of using the PEPA performance Modelling Tool for a Non-repudiation Protocol2009
Dr Nigel Thomas
Yishi Zhao
Mean value analysis for a class of PEPA models2009
Yishi Zhao
Dr Nigel Thomas
A Cost Model Analysis of a Secure Key Distribution Centre2008
Yishi Zhao
Dr Nigel Thomas
Efficient solutions of a PEPA model of key distribution centre with a cost function2008
Dr Nigel Thomas
Yishi Zhao
Fluid flow analysis of a model of a secure key distribution centre2008
Yishi Zhao
Dr Nigel Thomas
Modelling secure secret key exchange using stochastic process algebra2007
Yishi Zhao
Dr Nigel Thomas
Modelling secure secret key exchange using stochastic process algebra2007