%0 Thesis %1 phd/ethos/Evans03 %A Evans, Neil %D 2003 %K dblp %T Investigating security through proof.

@phdthesis{phd/ethos/Evans03, added-at = {2022-04-05T00:00:00.000+0200}, author = {Evans, Neil}, biburl = {https://www.bibsonomy.org/bibtex/2e17476c56163fd74f9c30b97cd6141f1/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.408138}, interhash = {d92b39061491f42257be78bb2daa2a56}, intrahash = {e17476c56163fd74f9c30b97cd6141f1}, keywords = {dblp}, note = {British Library, EThOS}, school = {Royal Holloway, University of London, UK}, timestamp = {2024-04-09T09:00:23.000+0200}, title = {Investigating security through proof.}, year = 2003 }