tokens: ['The', 'AKMA', 'AF', 'supplies', 'the', 'temporary', 'identifier', 'and', 'AKMA', 'AF', 'identifier', 'to', 'the', 'Anchor', 'Function', '', 'The', 'Anchor', 'Function', 'checks', 'the', 'lifetime', 'of', 'KAKMA', 'If', 'the', 'KAKMA', 'is', 'expired', 'or', 'the', 'remaining', 'lifetime', 'of', 'KAKMA', 'shorter', 'than', 'the', 'lifetime', 'of', 'KAF', 'going', 'to', 'generated', 'the', 'Anchor', 'Function', 'shall', 'trigger', 'to', 'renegotiate', 'a', 'new', 'KAKMA', 'Otherwise', 'Anchor', 'Function', 'derives', 'the', 'key', 'KAF', 'from', 'the', 'key', 'KAKMA', 'KAF', 'is', 'computed', 'as', 'KAF', '', 'KDF', 'KAKMA', 'UE', 'identity', 'AKMA', 'AF', 'identifier', 'Nonce', 'where', 'KDF', 'is', 'the', 'key', 'derivation', 'function', 'and', 'Nonce', 'is', 'a', 'random', 'number', 'generated', 'by', 'Anchor', 'Function', '', 'The', 'Anchor', 'Function', 'supplies', 'to', 'AKMA', 'AF', 'the', 'requested', 'key', 'KAF', 'as', 'well', 'as', 'the', 'Nonce', 'and', 'the', 'lifetime', 'of', 'KAF', '', 'The', 'Anchor', 'Function', 'stores', 'the', 'key', 'KAF', 'and', 'lifetime', 'of', 'KAF', '', 'The', 'AKMA', 'AF', 'supplies', 'the', 'Nonce', 'and', 'lifetime', 'of', 'KAF', 'to', 'the', 'UE', 'The', 'AKMA', 'AF', 'calculates', 'a', 'MAC', 'using', 'KAF', 'to', 'protect', 'the', 'integrity', 'of', 'the', 'message', '', 'The', 'UE', 'derives', 'the', 'key', 'KAF', 'from', 'the', 'key', 'KAKMA', 'and', 'the', 'key', 'derivation', 'parameters', 'according', 'to', 'step', '', 'Then', 'the']