Finite-state analysis of two contract signing protocols

On the security of public key protocols

Danny Dolev, A. Yao · IEEE Transactions on Information Theory · 1983 · 5.7K citations

Computing, Computer Science, Cybersecurity +13

Communication and concurrency

Wojciech Penczek · Science of Computer Programming · 1990 · 4K citations

Communicating sequential processes

Roger Boyle · Data Processing · 1985 · 2K citations

Security without identification: transaction systems to make big brother obsolete

David Chaum · Communications of the ACM · 1985 · 1.6K citations · Full text

Computing, Computer Science, Information Systems +10

The Inductive Approach to Verifying Cryptographic Protocols

1998 · 842 citations

Computing, Computer Science, Cryptography +16