Cellular Network Infrastructure » IMSI Pseudonymization

spec: SIM applet: verify: next IMSI is different

Suggested by ROS, so it would not be possible for the HLR to send the
same pseudonymous IMSI with an increased counter.

Seems like a good idea to me, if there was a bug in the HLR and it would
send the same pseudo IMSI for that reason, the SIM would not reset the...

spec: fix paragraph regarding SUPI

The SUPI often is not larger than the IMSI, but the SUCI is.

spec: add Harald as author too

spec: remove \n in Summary of Proposed Solution

spec: improve page breaks

Fix the almost empty page, that would only have "2.2.1.1 Counter
Storage" and one line of text, the related table starting a new page
(although no explicit page break was there).

Add a page break before "2.2. SIM/USIM Provisioning" to avoid that...

spec: minor fixes

spec: Add Neels as author

Neels may not have written the wording of the spec, but he was
very much involved in designing this system and its prototype.

spec: Expanding text in some places; language improvements

spec: mention more EF to invalidate

spec: mention that this works for SIM and USIM