Assertion: card's number | /r/HasProperty | rand
Facets:
Source sentences:
text: The operator network then generates a random number (RAND, which is a nonce) and signs it with the K i associated with the IMSI (and stored on the SIM card), computing another number, that is split into the Signed Response 1 (SRES_1, 32 bits) and the encryption key K c (64 bits).