Theorem-proving anonymity of infinite-state systems
References (7)
- et al.
Private authentication
Theoret. Comput. Sci.
(2004) - et al.
Forward and backward simulations—part I: Untimed systems
Inform. Comput.
(1995) - et al.
Anonymity and information hiding in multiagent systems
J. Comput. Security
(2005)
There are more references available in the full text version of this article.
Cited by (0)
Copyright © 2006 Elsevier B.V. All rights reserved.