A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks - Francesco Ballardin; Damiano Macedonio; Massimo Merro; Mattia Tirapelle (CoRR, 2011)