TATRA MOUNTAINS
Mathematical Publications

Novotný, Marián, Pavol Jozef Šafárik University, Jesenná 5, 041 54 Košice, Slovakia

• Vol 47 (2010): CECC '09. - Articles
  Formal analysis of security protocols for Wireless Sensor Networks
  Abstract  PDF