Login / Signup
E. Onem
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Authentication Protocol
Security Analysis
Formal Specification
Secure Routing
Top Venues
Int. J. Ad Hoc Ubiquitous Comput.
</>
Publications
</>
E. Onem
,
A. Burak Gürdag
,
M. Ufuk Çaglayan
Formal security analysis of Ariadne secure routing protocol using model checking.
Int. J. Ad Hoc Ubiquitous Comput.
9 (1) (2012)