Paper published in a book (Scientific congresses, symposiums and conference proceedings)
A strand space approach to provable anonymity
Li, Yongjian; Pang, Jun
2014In Proc. 2nd Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'13)
Peer reviewed
 

Files


Full Text
FTSCS13.pdf
Author postprint (430.8 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 :
A strand space approach to provable anonymity
Publication date :
2014
Event name :
2nd Workshop on Formal Techniques for Safety-Critical Systems
Event date :
2013
Audience :
International
Main work title :
Proc. 2nd Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'13)
Pages :
71-87
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 18 July 2014

Statistics


Number of views
77 (1 by Unilu)
Number of downloads
113 (0 by Unilu)

Scopus citations®
 
0
Scopus citations®
without self-citations
0

Bibliography


Similar publications



Contact ORBilu