"November 2009."
Title from the cover.
Efficient analysis PEPA model of non-repudiation protocols by Yishi Zhao. Published by University of Newcastle upon Tyne, Computing Science in 2009. Publication and catalogue information, links to buy online and reader comments.