%0 Conference Paper %1 conf/esorics/DongJP12 %A Dong, Naipeng %A Jonker, Hugo %A Pang, Jun %B ESORICS %D 2012 %E Foresti, Sara %E Yung, Moti %E Martinelli, Fabio %I Springer %K dblp %P 325-342 %T Formal Analysis of Privacy in an eHealth Protocol. %U http://dblp.uni-trier.de/db/conf/esorics/esorics2012.html#DongJP12 %V 7459 %@ 978-3-642-33166-4

@inproceedings{conf/esorics/DongJP12, added-at = {2022-04-09T00:00:00.000+0200}, author = {Dong, Naipeng and Jonker, Hugo and Pang, Jun}, biburl = {https://www.bibsonomy.org/bibtex/28b2b22cfda945b096a547ba1c81dbaef/dblp}, booktitle = {ESORICS}, crossref = {conf/esorics/2012}, editor = {Foresti, Sara and Yung, Moti and Martinelli, Fabio}, ee = {https://doi.org/10.1007/978-3-642-33167-1_19}, interhash = {b1f3e32c1392a3abe7b4bd5b6f6d06b6}, intrahash = {8b2b22cfda945b096a547ba1c81dbaef}, isbn = {978-3-642-33166-4}, keywords = {dblp}, pages = {325-342}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T20:04:01.000+0200}, title = {Formal Analysis of Privacy in an eHealth Protocol.}, url = {http://dblp.uni-trier.de/db/conf/esorics/esorics2012.html#DongJP12}, volume = 7459, year = 2012 }