Formalized Information-Theoretic Proofs of Privacy Using the HOL4 Theorem-Prover release_tzfue7zpirduznax6u774wfwwu

by Aaron R. Coble

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

p77-98

Archived Files and Locations

application/pdf  212.8 kB
file_wssq33su7newzdtt7qm5p6sebq
www.aaronandalex.com (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
www.cl.cam.ac.uk:80 (web)
Read Archived PDF
Archived
Type  chapter
Stage   published
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 31c2c59b-9c52-4d6e-843a-fcb93538dbf9
API URL: JSON