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 |
|