Retour
  1. Accueil
  3. Référence détaillée
Télécharger
Article (Périodiques scientifiques)
Formalizing provable anonymity in Isabelle/HOL
Li, Yongjian; PANG, Jun
2015 • In Formal Aspects of Computing, 27 (2), p. 255-282
Peer reviewed
Permalien
https://hdl.handle.net/10993/21325
DOI
10.1007/s00165-014-0315-x
 

Documents (1)Envoyer versDétailsStatistiquesBibliographiePublications similaires

Documents

Texte intégral
FAC15.pdf
Postprint Auteur (508.7 kB)
Télécharger

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers


Détails


Disciplines :
Sciences informatiques
Auteur, co-auteur :
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)
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Formalizing provable anonymity in Isabelle/HOL
Date de publication/diffusion :
2015
Titre du périodique :
Formal Aspects of Computing
Volume/Tome :
27
Fascicule/Saison :
2
Pagination :
255-282
Peer reviewed :
Peer reviewed
Disponible sur ORBilu :
depuis le 15 juin 2015

Statistiques

Nombre de vues
118 (dont 3 Unilu)
Nombre de téléchargements
126 (dont 1 Unilu)
Voir plus de statistiques
citations Scopus®
 
5
citations Scopus®
sans auto-citations
4
OpenCitations
 
4
citations OpenAlex
 
5
citations WoS™
 
3

Bibliographie

Publications similaires


Contacter ORBilu