Generating efficient protocol code from an abstract specification.

Claude Castelluccia Walid Dabbous Sean W. O'Malley

Published in: IEEE/ACM Trans. Netw. (1997)

Keyphrases

state machines
lightweight
high level
cost effective
computationally expensive
sensor networks
higher level
communication protocols
provably secure