Analysis of Security Attacks in Wireless Sensor Networks: From UPPAAL to Castalia.

Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Francesco Racciatti

Browse the full ICISSP paper archive.