Table 1: Notations.

Communication

At , sends a message that is received by
At , sends a message
does not send a message at
receives a message at
does not receive a message at

Parameters

, Period of time
Set of malicious nodes
Set of 1-hop neighbors of
Sequence number
Hop count
Willingness of to forward packets on behalf of others
MPRs of
MPR selectors set of

Messages

Hello Hello message
TC Topology Control message
MID Multiple Interface Declaration
HNA Host and Network Association
CM Control Message
RM Received Control message
FM Control message intended to be forwarded