Graham Steel. Discovering security protocol attacks by refuting incorrect inductive conjectures. PhD thesis, University of Edinburgh, UK, 2004. [doi]
@phdthesis{ethos-5713,
title = {Discovering security protocol attacks by refuting incorrect inductive conjectures},
author = {Graham Steel},
year = {2004},
url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.662389},
note = {British Library, EThOS},
researchr = {https://researchr.org/publication/ethos-5713},
cites = {0},
citedby = {0},
school = {University of Edinburgh, UK},
}