Related references
Note: Only part of the references are listed.
Article
Computer Science, Hardware & Architecture
Flaws in robust optimistic mix-nets and stronger security notions
M Abe et al.
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES (2006)
Article
Engineering, Electrical & Electronic
Formal methods for cryptographic protocol analysis: Emerging issues and trends
C Meadows
IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS (2003)