A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties

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

Using encryption for authentication in large networks of computers

Roger M. Needham, Michael Schroeder · Communications of the ACM · 1978 · 2.4K citations · Full text

Computing, Computer Engineering, Computer Science +17

Conditional rewriting logic as a unified model of concurrency

José Meseguer · Theoretical Computer Science · 1992 · 1.3K citations

Computing, Computer Science, Computer Systems +9

An efficient cryptographic protocol verifier based on prolog rules

Bruno Blanchet · 2005 · 955 citations

Computing, Computer Engineering, Computer Science +17

Maude: specification and programming in rewriting logic

Manuel Clavel, Francisco Durán, Steven Eker et al. · Theoretical Computer Science · 2002 · 772 citations · Full text

Computing, Computer Science, Formal Methods +7