Algorithmic Tamper Proof (ATP) Counter Units for Authentication Devices Using PIN.

Yuichi Komano Kazuo Ohta Hideyuki Miyake Atsushi Shimbo

Published in: ACNS (2009)

Keyphrases

automated theorem proving
theorem prover
image authentication
theorem proving
digital watermarking
tamper detection
mobile devices
user authentication
biometric authentication
answer set programming
first order logic
classical logic
fragile watermarking
embedded systems
watermarking scheme
semi fragile