Formalizing provable anonymity in Isabelle/HOL

Li, Yongjian; Pang, Jun

doi:10.1007/s00165-014-0315-x

Download

Article (Scientific journals)

Formalizing provable anonymity in Isabelle/HOL

Li, Yongjian; Pang, Jun

2015 • In Formal Aspects of Computing, 27 (2), p. 255-282

Peer reviewed

Permalink
https://hdl.handle.net/10993/21325

DOI
10.1007/s00165-014-0315-x

Files Send to Details Statistics Bibliography Similar publications

Files

Full Text

FAC15.pdf

Author postprint (508.7 kB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink Twitter Linkedin

Details

Disciplines :

Computer science

Author, co-author :

Li, Yongjian

Pang, Jun ; 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)

External co-authors :

yes

Language :

English

Title :

Formalizing provable anonymity in Isabelle/HOL

Publication date :

2015

Journal title :

Formal Aspects of Computing

Volume :

Issue :

Pages :

255-282

Peer reviewed :

Peer reviewed

Available on ORBilu :

since 15 June 2015

Statistics

Number of views

82 (2 by Unilu)

Number of downloads

109 (1 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenCitations

WoS citations^™