A Stabilizing Deactivation/Reactivation Protocol.

Mehmet Hakan Karaata Mohamed G. Gouda

Published in: IEEE Trans. Computers (2007)

Keyphrases

lightweight
communication protocol
communication protocols
authentication protocol
cryptographic protocols
database
formal analysis
network protocols
information systems
metadata
distributed systems
end to end
network simulator
provably secure