Back
  1. Home
  3. Detailed 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 (1)Send toDetailsStatisticsBibliographySimilar publications

Files

Full Text
FAC15.pdf
Author postprint (508.7 kB)
Download

All documents in ORBilu are protected by a user license.

Send to


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
89 (3 by Unilu)
Number of downloads
115 (1 by Unilu)
More statistics
Scopus citations®
 
5
Scopus citations®
without self-citations
4
OpenCitations
 
4
OpenAlex citations
 
5
WoS citations™
 
3

Bibliography

Similar publications


Contact ORBilu