Verification of initial-state opacity in security applications of discrete event systems

Untraceable electronic mail, return addresses, and digital pseudonyms

David Chaum · Communications of the ACM · 1981 · 4.3K citations · Full text

Computing, Computer Science, Authentication +8

Supervisory Control of a Class of Discrete Event Processes

Peter J. Ramadge, W.M. Wonham · SIAM Journal on Control and Optimization · 1987 · 3.3K citations

Engineering, Autonomous Systems, Discrete Mathematics +16

Crowds

Michael K. Reiter, Aviel D. Rubin · ACM Transactions on Information and System Security · 1998 · 1.8K citations

Computing, Computer Science, Cybersecurity +17

The dining cryptographers problem: Unconditional sender and recipient untraceability

David Chaum · Journal of Cryptology · 1988 · 1.4K citations · Full text

Computing, Communication, Computer Science +12

Principles and methods of testing finite state machines-a survey

D. Lee, Mihalis Yannakakis · Proceedings of the IEEE · 1996 · 1.2K citations

Computing, Computer Engineering, Computer Science +13