Probabilistic model checking for the quantification of DoS security threats

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

A logic for reasoning about time and reliability

Hans Hansson, Bengt Jönsson · Formal Aspects of Computing · 1994 · 1.4K citations · Full text

Computing, Computer Science, Systems Engineering +10

Host Identity Protocol

Thomas R. Henderson, Petri Jokela, Pekka Nikander et al. · RFC · 2008 · 581 citations

Computing, Computer Science, Cybersecurity +17

Proceedings of the 30th international conference on Software engineering

Ajitha Rajan, Michael W. Whalen, Mats P. E. Heimdahl · 2008 · 460 citations · Full text

Computing, Computer Engineering, Computer Science +13

Formal methods for cryptographic protocol analysis: emerging issues and trends

Catherine Meadows · IEEE Journal on Selected Areas in Communications · 2003 · 200 citations

Computing, Computer Science, Cryptography +16