@phdthesis{phd/ethos/Banks12,
  added-at = {2016-08-18T00:00:00.000+0200},
  author = {Banks, Michael J.},
  biburl = {https://www.bibsonomy.org/bibtex/20ab34135e5571fce78c22b4ef81e6b14/dblp},
  ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.557225},
  interhash = {cff04e7d6bf06eac3516232a529b7aa2},
  intrahash = {0ab34135e5571fce78c22b4ef81e6b14},
  keywords = {dblp},
  note = {British Library, EThOS},
  school = {University of York, UK},
  timestamp = {2016-08-19T11:36:45.000+0200},
  title = {On confidentiality and formal methods.},
  year = 2012
}

{"_id":"oezW3BTdntEXRku8y","bibbaseid":"banks-onconfidentialityandformalmethods-2012","authorIDs":[],"author_short":["Banks, M. J."],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","added-at":"2016-08-18T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Banks"],"firstnames":["Michael","J."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/20ab34135e5571fce78c22b4ef81e6b14/dblp","ee":"http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.557225","interhash":"cff04e7d6bf06eac3516232a529b7aa2","intrahash":"0ab34135e5571fce78c22b4ef81e6b14","keywords":"dblp","note":"British Library, EThOS","school":"University of York, UK","timestamp":"2016-08-19T11:36:45.000+0200","title":"On confidentiality and formal methods.","year":"2012","bibtex":"@phdthesis{phd/ethos/Banks12,\n added-at = {2016-08-18T00:00:00.000+0200},\n author = {Banks, Michael J.},\n biburl = {https://www.bibsonomy.org/bibtex/20ab34135e5571fce78c22b4ef81e6b14/dblp},\n ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.557225},\n interhash = {cff04e7d6bf06eac3516232a529b7aa2},\n intrahash = {0ab34135e5571fce78c22b4ef81e6b14},\n keywords = {dblp},\n note = {British Library, EThOS},\n school = {University of York, UK},\n timestamp = {2016-08-19T11:36:45.000+0200},\n title = {On confidentiality and formal methods.},\n year = 2012\n}\n\n","author_short":["Banks, M. J."],"key":"phd/ethos/Banks12","id":"phd/ethos/Banks12","bibbaseid":"banks-onconfidentialityandformalmethods-2012","role":"author","urls":{"Link":"http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.557225"},"keyword":["dblp"],"downloads":0},"bibtype":"phdthesis","biburl":"http://www.bibsonomy.org/bib/author/banks?items=1000","creationDate":"2020-11-09T04:30:05.389Z","downloads":0,"keywords":["dblp"],"search_terms":["confidentiality","formal","methods","banks"],"title":"On confidentiality and formal methods.","year":2012,"dataSources":["4mnhe87Gt4h7SC73t"]}