tokens: ['When', 'a', 'MIKEY', 'message', 'arrives', 'at', 'the', 'ME', 'the', 'processing', 'process', 'as', 'follows', '', 'The', 'UE', 'shall', 'extract', 'PMK', '', 'FQDN', 'of', 'the', 'ProSe', 'Key', 'Management', 'Function', 'for', 'the', 'IDr', 'payload', 'to', 'establish', 'which', 'PMK', 'was', 'used', 'to', 'protect', 'the', 'MIKEY', 'message', '', 'The', 'Timestamp', 'Payload', 'is', 'checked', 'and', 'compared', 'against', 'the', 'stored', 'Counter', 'for', 'the', 'PMK', 'and', 'the', 'message', 'is', 'rejected', 'if', 'that', 'counter', 'is', 'not', 'larger', 'then', 'the', 'current', 'Counter', '', 'The', 'integrity', 'of', 'the', 'message', 'is', 'checked', 'If', 'this', 'fails', 'the', 'message', 'is', 'discarded', 'otherwise', 'the', 'processing', 'continues', 'as', 'follows', '', 'The', 'counter', 'associated', 'with', 'the', 'PMK', 'shall', 'be', 'set', 'to', 'the', 'values', 'conveyed', 'in', 'the', 'Timestamp', 'payload', '', 'If', 'the', 'PMK', 'used', 'to', 'protect', 'the', 'message', 'is', 'the', 'not', 'the', 'last', 'successfully', 'used', 'one', 'then', 'it', 'becomes', 'the', 'last', 'successfully', 'used', 'one', 'and', 'any', 'other', 'PMK', 'related', 'to', 'this', 'ProSe', 'Key', 'Management', 'Function', 'is', 'deleted', '', 'The', 'UE', 'shall', 'extract', 'the', 'Group', 'ID', 'and', 'PGK', 'ID', 'from', 'the', 'received', 'IDi', 'Payload', 'If', 'PGK', 'ID', 'is', 'all', 'zeros', 'then', 'the', 'UE', 'shall', 'stop', 'processing', 'the', 'message', 'and', 'send', 'a', 'Key']