A simple framework for real-time cryptographic protocol analysis with compositional proof rules

Communication and concurrency

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

SPINS: Security Protocols for Sensor Networks

Adrian Perrig, Robert Szewczyk, J. D. Tygar et al. · Wireless Networks · 2002 · 2.2K citations

Computing, Computer Engineering, Computer Science +14

Efficient authentication and signing of multicast streams over lossy channels

Adrian Perrig, Ran Canetti, J. D. Tygar et al. · 2002 · 954 citations

Computing, Communication, Computer Science +17

A hierarchy of authentication specifications

Gavin Lowe · 2002 · 618 citations

Computing, Computer Science, Computer Systems +16

A Classification of Security Properties for Process Algebras1

Riccardo Focardi, Roberto Gorrieri · Journal of Computer Security · 1995 · 310 citations

Computing, Computer Science, Computer Security +7