On Backward-Style Anonymity Verification.

Yoshinobu Kawabe Ken Mano Hideki Sakurada Yasuyuki Tsukada

Published in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2008)

Keyphrases

model checking
forward and backward
formal verification
forward backward
verification method
learning algorithm
payment scheme
information systems
state space
face verification
asynchronous circuits
functional verification
anonymous communication