Reference : Formal analysis of privacy in an eHealth protocol
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/210
Formal analysis of privacy in an eHealth protocol
English
Dong, Naipeng mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Jonker, Hugo mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Pang, Jun mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2012
Proc. 17th European Symposium on Research in Computer Security
Springer-Verlag
Lecture Notes in Computer Science 7459
325-342
Yes
International
978-3-642-33166-4
17th European Symposium on Research in Computer Security (ESORICS 2012)
2012
Pisa
Italy
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/210

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
ESORICS12.pdfAuthor preprint298.99 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.