1
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... a Privacy-Preserving National Identity Card -- Using SAT-Solvers to Compute Inference-Proof Database...