tokens: ['Derivation', 'of', 'KAMF', 'from', 'KAMF', 'during', 'mobility', 'shall', 'use', 'the', 'following', 'input', 'parameters', '', 'FC', '', 'x', '', 'P', '', 'DIRECTION', '', 'L', '', 'length', 'of', 'DIRECTION', 'ie', 'x', 'x', '', 'P', '', 'COUNT', '', 'L', '', 'length', 'of', 'COUNT', 'ie', 'x', 'x', 'The', 'input', 'key', 'KEY', 'shall', 'be', 'KAMF', 'When', 'KAMF', 'is', 'derived', 'in', 'handover', 'DIRECTION', 'shall', 'be', 'x', 'and', 'COUNT', 'shall', 'be', 'the', 'downlink', 'NAS', 'COUNT', 'of', 'the', 'GPP', 'access', 'When', 'KAMF', 'is', 'derived', 'in', 'idle', 'mode', 'mobility', 'ie', 'mobility', 'registration', 'update', 'DIRECTION', 'shall', 'be', 'x', 'and', 'COUNT', 'shall', 'be', 'the', 'uplink', 'NAS', 'COUNT', 'of', 'the', 'GPP', 'access', 'used', 'in', 'the', 'Registration', 'Request']