TY  - RPRT
TI  - A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks
AU  - Francesco Ballardin
AU  - Damiano Macedonio
AU  - Massimo Merro
AU  - Mattia Tirapelle
PY  - 2011
UR  - https://arxiv.org/abs/1109.5088
ID  - 1109.5088
ER  -