%0 Thesis %1 phd/ethos/Smyth11 %A Smyth, Ben %D 2011 %K %T Formal verification of cryptographic protocols with automated reasoning.

@phdthesis{phd/ethos/Smyth11, added-at = {2023-12-12T18:38:22.000+0100}, author = {Smyth, Ben}, biburl = {https://www.bibsonomy.org/bibtex/23d76cccd76fe9d827f423b494ce948d9/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.535277}, interhash = {152f4a2f8f612f38ec14581c7f8b2971}, intrahash = {3d76cccd76fe9d827f423b494ce948d9}, keywords = {}, note = {British Library, EThOS}, school = {University of Birmingham, UK}, timestamp = {2023-12-12T18:38:22.000+0100}, title = {Formal verification of cryptographic protocols with automated reasoning.}, year = 2011 }