1: Given a source node S, a malicious node E and n other nodes in S’s group view.

2: S determines that E is malicious and warns the n vehicles that E is being revoked.

3: Message GK[PKn(REVOKE(E)] is sent to the network.