Fast certificate-based authentication scheme in multi-operator maintained wireless mesh networks

Security Policies and Security Models

Joseph A. Goguen, José Meseguer · 1982 · 2.1K citations

Computing, Computer Science, Computer Systems +15

A hierarchy of authentication specifications

Gavin Lowe · 2002 · 618 citations

Computing, Computer Science, Computer Systems +16

A secure authentication and billing architecture for wireless mesh networks

Yanchao Zhang, Yuguang Fang · Wireless Networks · 2006 · 74 citations

Computing, Computer Science, Computer Systems +16

Reducing Reauthentication Delay in Wireless Networks

Tuomas Aura, Michael Roe · 2006 · 48 citations

Computing, Computer Science, Computer Systems +17

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

Roberto Gorrieri, Fabio Martinelli · Science of Computer Programming · 2004 · 39 citations

Computing, Computer Engineering, Computer Science +16