tokens: ['In', 'order', 'to', 'ensure', 'that', 'both', 'the', 'UE', 'and', 'the', 'EESE', 'have', 'the', 'same', 'keys', 'and', 'do', 'the', 'key', 'derivation', 'at', 'the', 'same', 'time', 'it', 'is', 'necessary', 'to', 'trigger', 'the', 'key', 'derivation', 'In', 'this', 'solution', 'the', 'key', 'derivation', 'trigger', 'is', 'exchanged', 'over', 'the', 'existing', 'connection', 'as', 'a', 'control', 'message', 'What', 'happens', 'is', 'as', 'follows', '', 'Upon', 'deriving', 'a', 'eeKEYSET', 'a', 'timer', 'tee', 'is', 'set', 'in', 'the', 'EESE', '', 'Whenever', 'the', 'timer', 'runs', 'out', 'the', 'EESE', 'sets', 'a', 'flag', 'invalidating', 'the', 'keys', '', 'Upon', 'next', 'contact', 'from', 'the', 'UE', 'the', 'EESE', 'replies', 'with', 'an', 'error', 'message', 'indicating', 'the', 'reason', 'key', 'has', 'expired', 'This', 'step', 'is', 'skipped', 'whenever', 'the', 'EESE', 'triggers', 'new', 'contact', '', 'The', 'EESE', 'generates', 'a', 'fresh', 'RAND', 'or', 'triggers', 'the', 'EMKS', 'that', 'a', 'new', 'RAND', 'is', 'needed', 'derives', 'the', 'new', 'eeKEYSET', 'and', 'forwards', 'the', 'RAND', 'to', 'the', 'UE', 'which', 'derives', 'the', 'new', 'eeKEYSET', '', 'The', 'UE', 'or', 'EESE', 'transmit', 'the', 'message']