Algorithm 14:$Leave\_Response$: ECUs receive the group key individually when a device is removed.

Input: Packet,${S_g}^z$, ${TC}_j^z$ Output: $s{k}^z$, ${S_g}^z$ MAC = $MG(S_j^i\parallel {TC}^i\parallel Packet.data)$ ;