Login / Signup
An automatic protocol verification framework for the development of wireless sensor networks.
Taehyun Kim
Jaeho Kim
Sang-Shin Lee
Il-Yeup Ahn
Minan Song
Kwang-Ho Won
Published in:
TRIDENTCOM (2008)
Keyphrases
</>
wireless sensor networks
lightweight
case study
main contribution
fully automatic
design principles
probabilistic model
formal analysis
resource constrained
cryptographic protocols
automatic processing
routing scheme