Title from cover.
"July 2007" --cover.
Modelling secure secret key exchange using stochastic process algebra by Yishi Zhao. Published by University of Newcastle upon Tyne - Computing science in 2007. Publication and catalogue information, links to buy online and reader comments.