Formal apparatus for measurement of lightweight protocols.

Denis Trcek Damjan Kovac

Published in: Comput. Stand. Interfaces (2009)

Keyphrases

lightweight
authentication protocol
formal model
wireless sensor networks
development environments
formal methods
peer to peer
formal specification
dos attacks
communication infrastructure