An Elementary Derivation of the Alternating Bit Protocol.

W. H. J. Feijen A. J. M. van Gasteren Birgit Schieder

Published in: MPC (1998)

Keyphrases

lightweight
coloured petri nets
database
wireless sensor networks
end to end
elliptic curve
cryptographic protocols
network simulator
trusted third party
network protocols
magnetic tape