Unconditional and Composable Security Using a Single Stateful Tamper-Proof Hardware Token.

Nico Döttling Daniel Kraschewski Jörn Müller-Quade

Published in: TCC (2011)

Keyphrases

security level
low cost
information security
intrusion detection
real time
hardware and software
random number generator
network security
security properties
security issues
security requirements
electronic voting
windows xp
statistical databases
theorem prover
data acquisition
signal processing