Security in Wireless Sensor Networks: A formal verification of protocols.

Giann Spilere Nandi, David Pereira, Martn Vigil, Ricardo de Moraes, Analcia Schiaffino Morales, Gustavo Medeiros de Arajo

Browse the full INDIN paper archive.