Yishi Zhao. Practical applications of performance modelling of security protocols using PEPA. PhD thesis, University of Newcastle upon Tyne, UK, 2011. [doi]
@phdthesis{ethos-2229, title = {Practical applications of performance modelling of security protocols using PEPA}, author = {Yishi Zhao}, year = {2011}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.566875}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-2229}, cites = {0}, citedby = {0}, school = {University of Newcastle upon Tyne, UK}, }