tokens: ['This', 'annex', 'shows', 'how', 'the', 'AUTS', 'calculation', 'could', 'be', 'modified', 'in', 'order', 'to', 'avoid', 'keystream', 'reuse', 'during', 'AKA', 'resynchronisations', 'procedure', 'The', 'f', 'function', 'given', 'in', 'clause', '', 'only', 'has', 'RAND', 'as', 'a', 'nonkey', 'input', 'and', 'hence', 'if', 'an', 'authentication', 'challenge', 'RAND', 'AUTN', 'is', 'replayed', 'then', 'the', 'same', 'AK', 'is', 'calculated', 'which', 'is', 'then', 'used', 'to', 'protect', 'different', 'SQNMS', 'values', 'This', 'possibly', 'leaks', 'some', 'bits', 'of', 'SQNMS', 'as', 'shown', 'in', 'Borgaonkar', 'et', 'al', '', '', 'If', 'this', 'is', 'a', 'concern', 'to', 'an', 'operator', 'then', 'a', 'modified', 'f', 'function', 'using', 'MACS', 'as', 'an', 'additional', 'input', 'can', 'be', 'used', 'as', 'shown', 'in', 'figure', 'J', 'with', 'the', 'dashed', 'line', 'showing', 'the', 'change', 'from', 'clause', '', 'NOTE', 'Including', 'MACS', 'as', 'an', 'input', 'to', 'f', 'ensures', 'that', 'AK', 'is', 'unique', 'for', 'each', 'SQNMS', 'It', 'is', 'home', 'network', 'decision', 'to', 'include', 'or', 'not', 'MACS', 'as', 'input', 'to', 'f', 'Figure', 'J', 'Construction', 'of', 'the', 'parameter', 'AUTS', 'with', 'a', 'modified', 'f', 'function', 'When', 'using', 'the', 'modified', 'f', 'function', 'the', 'resynchronisation', 'proceeds', 'as', 'described', 'in', 'clauses', '', 'and', '', 'with', 'the', 'following', 'changes', '', 'in', 'clause', '', 'the', 'USIM', 'calculates', 'AUTS', '', 'ConcSQNMS', '', '', 'MACS', 'where', 'ConcSQNMS', '', 'SQNMS', 'fKRAND', 'MACS', 'and', 'MACS', 'is', 'calculated', 'as', 'given', 'in', 'clause', '', 'and', '', 'in', 'clause', '', 'the', 'HEAuC', 'retrieves', 'SQNMS', 'from', 'ConcSQNMS', 'by', 'computing', 'ConcSQNMS', 'fKRAND', 'MACS']