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

@phdthesis{phd/ethos/Steel04, added-at = {2022-04-05T00:00:00.000+0200}, author = {Steel, Graham}, biburl = {https://www.bibsonomy.org/bibtex/2f7c84ecbff9ec6b8beb574f0dd3a7bf3/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.662389}, interhash = {8e848384e70467e4ff4cb8dfef6216b3}, intrahash = {f7c84ecbff9ec6b8beb574f0dd3a7bf3}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Edinburgh, UK}, timestamp = {2024-04-09T08:46:44.000+0200}, title = {Discovering security protocol attacks by refuting incorrect inductive conjectures.}, year = 2004 }