%0 Thesis %1 phd/ethos/GibsonRobinson13 %A Gibson-Robinson, Thomas %D 2013 %K %T Analysing layered security protocols.

@phdthesis{phd/ethos/GibsonRobinson13, added-at = {2023-12-13T00:50:51.000+0100}, author = {Gibson-Robinson, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2c37a9f291303c294e0e6d25863f7eae7/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.595945}, interhash = {69425a061348d48f8a1b496ad2ddbd1e}, intrahash = {c37a9f291303c294e0e6d25863f7eae7}, keywords = {}, note = {British Library, EThOS}, school = {University of Oxford, UK}, timestamp = {2023-12-13T00:50:51.000+0100}, title = {Analysing layered security protocols.}, year = 2013 }