Reference : Formalizing provable anonymity in Isabelle/HOL
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/21325
Formalizing provable anonymity in Isabelle/HOL
English
Li, Yongjian []
Pang, Jun mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) > ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)]
2015
Formal Aspects of Computing
27
2
255-282
Yes
Researchers ; Students
http://hdl.handle.net/10993/21325

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
FAC15.pdfAuthor preprint496.78 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.