The DHCP Failover Protocol: A Formal Perspective.

Rui Fan Ralph E. Droms Nancy D. Griffeth Nancy A. Lynch

Published in: FORTE (2007)

Keyphrases

formal analysis
viewpoint
high availability
lightweight
artificial intelligence
tcp ip
neural network
information systems
case study
formal model
authentication protocol
communication protocol
cryptographic protocols
coloured petri nets