tokens: ['The', 'eNB', 'shall', 'associate', 'a', 'bit', 'counter', 'LWIP', 'counter', 'with', 'the', 'EPS', 'AS', 'security', 'context', 'The', 'LWIP', 'counter', 'is', 'used', 'when', 'computing', 'the', 'LWIPPSK', 'for', 'the', 'IPSec', 'tunnel', 'set', 'up', 'The', 'UE', 'and', 'the', 'eNB', 'shall', 'treat', 'the', 'LWIP', 'counter', 'as', 'a', 'fresh', 'input', 'to', 'LWIPPSK', 'derivation', 'That', 'is', 'the', 'UE', 'assumes', 'that', 'the', 'eNB', 'provides', 'a', 'fresh', 'LWIP', 'counter', 'for', 'each', 'LWIPPSK', 'derivation', 'and', 'does', 'not', 'need', 'to', 'verify', 'the', 'freshness', 'of', 'the', 'LWIP', 'counter', 'The', 'eNB', 'maintains', 'the', 'value', 'of', 'the', 'LWIP', 'counter', 'for', 'a', 'duration', 'of', 'the', 'current', 'AS', 'security', 'context', 'between', 'UE', 'and', 'eNB', 'The', 'UE', 'does', 'not', 'need', 'to', 'maintain', 'the', 'LWIP', 'counter', 'after', 'it', 'has', 'computed', 'the', 'LWIPPSK', 'since', 'the', 'eNB', 'provides', 'the', 'UE', 'with', 'the', 'current', 'LWIP', 'counter', 'value', 'when', 'the', 'UE', 'needs', 'to', 'compute', 'a', 'new', 'LWIPPSK', 'The', 'eNB', 'that', 'supports', 'the', 'LWIP', 'shall', 'initialize', 'the', 'LWIP', 'counter', 'to', '', 'when', 'the', 'KeNB', 'in', 'the', 'associated', 'AS', 'security', 'context', 'is', 'established', 'or', 'refreshed', 'The', 'eNB', 'shall', 'monotonically', 'increment', 'the', 'LWIP', 'counter', 'for', 'each', 'subsequent', 'calculation', 'of', 'the', 'LWIPPSK', 'If', 'the']