%0 Thesis %1 phd/ethos/Steel04 %A Steel, Graham %D 2004 %K %T Discovering security protocol attacks by refuting incorrect inductive conjectures.

@phdthesis{phd/ethos/Steel04, added-at = {2023-12-13T03:44:58.000+0100}, author = {Steel, Graham}, biburl = {https://www.bibsonomy.org/bibtex/2f7c84ecbff9ec6b8beb574f0dd3a7bf3/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.662389}, interhash = {8e848384e70467e4ff4cb8dfef6216b3}, intrahash = {f7c84ecbff9ec6b8beb574f0dd3a7bf3}, keywords = {}, note = {British Library, EThOS}, school = {University of Edinburgh, UK}, timestamp = {2023-12-13T03:44:58.000+0100}, title = {Discovering security protocol attacks by refuting incorrect inductive conjectures.}, year = 2004 }