Önem, E., Gürdağ, A.B., Çağlayan, M.U., "Formal security analysis of Ariadne secure routing protocol using model checking", International Journal of Ad Hoc and Ubiquitous Computing, 9, 1, 12-24, 2012.

Yayın Tarihi: 
Pazar, 1 Ocak, 2012
Yayın Indexi: 
Yayın Bölümü: 
Yayın Türü: