Yishi Zhao
2 published titles
Modelling secure secret key exchange using stochastic process algebra
1 edition
- University of Newcastle upon Tyne - Computing science
- 2007
- Details
Efficient analysis PEPA model of non-repudiation protocols
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2009
- Details
