------------------------SDT2!SIM----------------------------------------------------ObjectName----------------------------------------ObjectType----------------------------------------!%&()LinkEndpoints--------------------------------!%()HeadingText----------------------------------- SIM------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------5--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------()[8(! process SIM)]}-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------#()[8(! (1, 1);)]}* CIF CurrentPage 1 */ /* CIF TEXT (70, 872), (1558, 463) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */ /* Encryption algorithm also stored in the network (never transmitted): */)]}----- ()[(! l! 22!(d)[ (! l)[(! 6)[(! 6d! d)]][ (! 6)][2}(! 6^! d!S)[8(! )!%()HeadingText-----------------------------------!%()PageOrder-------------------------------------1-------------------------------------------------DefinitionPage------------------------------------ !%()HeaderText------------------------------------1------------------------------------------------------------------------------------------------------------------------------------------------------- ---------------- --------][(!^!"^)[(! 6!Z)][3(! 6^! d!S)[8(! waitInit)]]]]]]}PIN_t, rand NATURAL; /* CIF End Text */ /* CIF Curre()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! d)]][ "(! 6)][3(! 6,! d!S)[8(! r 2 waitInit)]]]][3()[(!3finitionPage()[()][()4finitionPage checkPIN(p) /* CIF OUTPUT (285,DefinitionPage) */ /* CIF Keep Specific Geode Text eady)][(!,^!"^,)[(! 6,^! d!S!)[8(! checkPIN)][1(!&!"&)[7 (! 6&^!! !S)[8(! (p))]]][(!!")[(! 6,! d!S!)[8(! PIN_OK)][1(! &&&!"&&&)[7(! 6&!! !S)[8(! (p = PIN))]]][(!X!"X)[(! 6!Z)][3(! 6,! d!S)[8(! -)]]]]]]]]]]}/ /* CIF Keep Specific Geode Modified */)]]][(!X!"X)[(! 6!Z)][3](! 6,! d!S)[8(! -)]]]]]]]]]]}ified */)][()[()][3()[(! -)]]]]]]]][3()[(! waitInit)][()[()][()[(!N()[(! l! 22!(d)[%(! l)[((! 6)[+(! 6d! )]][ .(! 6)][3(! 6^! d!S)[8(! r(!4:!5!7)[!(! DefinitionPage!)[!(! 1!!2!3)[!(! 2!!3)[!(! 3!!3)[!(! 4!!!()[w(!GSDL)]}-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------()[(! l! 22!(d)[h(! l)[k(! 6)[n(! 6d!  )]][ t(! 6 )][9w(! 62! !S)[8(! newtype A3_encryption_t operators A3_encrypt1 : NATURAL, NATURAL -> NATURAL; operator A3_encrypt1; fpar n NATURAL, key NATURAL; returns NATURAL; referenced; endnewtype; dcl PIN PIN_t /* replaces context parameters. */, Kp NATURAL :=  3 /* Secret key associated to the SIM owner, also stored in the network. */, p PIN_t, rand NATURAL; /* CIF End Text */ /* CIF CurrentPage 1 */ /* CIF START (87, 120), (160, 80) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */ )]][Cz(! 62x! d!S)[(! 6K! A3_encrypt1)]]]]}-----------------------------------------------------------------------------------------------------------------------------------------weady)][(!^!"^)[(! 6^! d!S!)[8(! randomNr)][1(!&X!"X&)[7(! 6X!! !S)[8(! (rand))]]][(!!")[(! 6^! d!S!)[8(! encryptedNr)][1(!&X!"X&)[7(! 6X!! !S)[8(! (A3_encrypt1(rand, Kp)))]]][(! !" )[(! 6!Z)][3(! 6^! d!S)[8(! -)]]]]]]]]]]}!! !S)[8(!~ (A3_encrypt1(rand, Kp /* CIF COMMENT (940, 325), (160, 173) */ /* CIF Keep Specific Geodse TextMode 3 */ /* CIF Keep Specific Geode Modified */)) comment 'Back to the AUC, which will compare it to its own computation.' /* CIF NEXTSTATE (656, 529), (192, 80) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][(! L!"L )[(! 6L!Z)][3(! 6^L! d!S)[8(! -)]]]]]]]]]]}-------------------()[(! l! 22!(d)[1(! l)[4(! 6)[7(! 6d! )]][ :(! 6)][3(! 6^,! d!S)[8(! waitInit)][(!!")[(! 6^! d!S!)[8(! initSIM)][1(!&!"&)[7(! 6!! !S)[8(! (PIN))]]][(!&X!"X&)[(! 6X!Z)][3(! 6^X! d!S)[8 (! ready)]]]]]]]]}(! 6X!Z)][3(! 6^X! d!S)[8(! ready)]]]]]]]]}---------------------------------------------------------------------------------------------------------------3)]]]]]}---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------