{"_id":"XpEyXD3x4KEuoxm96","bibbaseid":"dong-jonker-pang-formalanalysisofprivacyinanehealthprotocol-2012","downloads":0,"creationDate":"2016-05-09T11:03:07.070Z","title":"Formal analysis of privacy in an eHealth protocol","author_short":["Dong, N.","Jonker, H. L.","Pang, J."],"year":2012,"bibtype":"inproceedings","biburl":"http://satoss.uni.lu/members/hugo/bib-jonker.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["N."],"propositions":[],"lastnames":["Dong"],"suffixes":[]},{"firstnames":["H.","L."],"propositions":[],"lastnames":["Jonker"],"suffixes":[]},{"firstnames":["J."],"propositions":[],"lastnames":["Pang"],"suffixes":[]}],"title":"Formal analysis of privacy in an eHealth protocol","booktitle":"Proc.\\ 17th European Symposium on Research in Computer Security (ESORICS'12)","publisher":"Springer-Verlag","series":"LNCS","year":"2012","volume":"7459","pages":"325-342","preprint":"http://satoss.uni.lu/hugo/papers/ESORICS12.pdf","ee":"http://www.springerlink.com/content/mw5146681846x8r3/fulltext.pdf","bibtex":"@inproceedings{DJP12b,\n author = {N. Dong and H. L. Jonker and J. Pang},\n title = {Formal analysis of privacy in an e{H}ealth protocol},\n booktitle = {Proc.\\ 17th European Symposium on Research in Computer\n\t\tSecurity (ESORICS'12)},\n publisher = {Springer-Verlag},\n series = {LNCS},\n year = {2012},\n volume = {7459},\n pages = {325-342},\n preprint = {http://satoss.uni.lu/hugo/papers/ESORICS12.pdf},\n ee = {http://www.springerlink.com/content/mw5146681846x8r3/fulltext.pdf}\n}\n\n","author_short":["Dong, N.","Jonker, H. L.","Pang, J."],"key":"DJP12b","id":"DJP12b","bibbaseid":"dong-jonker-pang-formalanalysisofprivacyinanehealthprotocol-2012","role":"author","urls":{"Link":"http://www.springerlink.com/content/mw5146681846x8r3/fulltext.pdf"},"downloads":0},"search_terms":["formal","analysis","privacy","ehealth","protocol","dong","jonker","pang"],"keywords":[],"authorIDs":[],"dataSources":["th2GieFKJnkRugNz4"]}