tokens: ['m', 'at', 'UTC', 'time', 't', 'the', 'announcing', 'UE', 'first', 'computes', 'the', 'current', 'timeslot', 'j', 'as', 'j', '', 'CEIL', 't', '', 'ttDelta', 'where', 'CEILx', 'maps', 'x', 'to', 'the', 'least', 'integer', 'greater', 'than', 'or', 'equal', 'to', 'x', 'This', 'implies', 'that', 'the', 'announcing', 'UE', 'has', 'to', 'use', 'DUIHC', 'link', 'HNjS', 'Note', 'that', 'this', 'requires', 'that', 'Nj', '', '', 'The', 'announcing', 'UE', 'uses', 'HNjS', 'together', 'with', 'the', 'DUIK', 'to', 'compute', 'the', 'final', 'key', 'DHCUIK', 'used', 'in', 'the', 'creation', 'of', 'the', 'MIC', 'of', 'the', 'message', 'm', 'This', 'key', 'is', 'denoted', 'as', 'Discovery', 'Hash', 'Chain', 'User', 'Integrity', 'Key', 'DHCUIK', 'and', 'is', 'computed', 'as', 'DHCUIK', '', 'KDFDUIK', 'HNjS', 'The', 'reason', 'for', 'including', 'the', 'DUIK', 'in', 'the', 'derivation', 'of', 'the', 'DUIKHCL', 'is', 'to', '', 'provide', 'interoperability', 'with', 'the', 'existing', 'TS', '', 'solution', 'and', '', 'show', 'that', 'this', 'solution', 'is', 'as', 'secure', 'as', 'the', 'existing', 'one', 'since', 'the', 'existing', 'DUIK', 'is', 'used', 'in', 'the', 'generation', 'of', 'the', 'key', 'that', 'will', 'be', 'used', 'in', 'the', 'MIC', 'computation', 'The', 'MIC', 'of', 'message', 'm', 'is', 'denoted', 'MICm', 'and', 'is', 'computed', 'as', 'MICm', '', 'MICm', 'DHCUIK', 'When', 'the', 'announcing', 'UE', 'broadcasts', 'message', 'm', 'towards', 'the', 'monitoring', 'UEs', 'the']