Login
EN
[EN] English
[FR] Français
Login
EN
[EN] English
[FR] Français
Give us feedback
Search and explore
Search
Explore ORBilu
Open Science
Open Science
Open Access
Research Data Management
Definitions
Statistics
Help
User Guide
FAQ
Publication list
Document types
Training
Legal Information
Data protection
Legal notices
About
About ORBilu
Deposit Mandate
ORBilu team
Impact and visibility
About statistics
About metrics
OAI-PMH
Project history
Back
Home
Detailled Reference
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
copy to clipboard
copied
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 :
27
Issue :
2
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
®
5
Scopus citations
®
without self-citations
4
OpenCitations
4
WoS citations
™
3
Bibliography
Similar publications
Contact ORBilu