Cellular Network Infrastructure » IMSI Pseudonymization

spec: replace should with must

Make it clear that statements like 'the operator should make sure that the
next pseudonymous IMSI SMS cannot be read or modified by third parties'
are not recommendations, but requirements for this specification to
work.

spec: clarify "Next Pseudonymous IMSI SMS is Lost"

Explicitly state that we send a lost next pseudonymous IMSI again.

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