------------------------SDT2#AuthentCenter----------------------------------------------------ObjectName----------------------------------------ObjectType----------------------------------------!%&()LinkEndpoints--------------------------------!%()HeadingText----------------------------------- AuthentCenter-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- 5--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------()[8(! process AuthentCenter)]}--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------()[8(! (1, 1); /* CIF CurrentPage 1 */ /* CIF TEXT (70, 120), (423, 50) */ /* CIF Keep Specific Geode Font 'fixed' 'fixed' 'fixed'*/ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */ /* Authentication Center */ /* CIF End Text */ /* CIF TEXT (70, 914), (1495, 517) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]}----------------------------------------------------------------------------------------------()[(! 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(! ready)]]]]]]}L; /* CIF End Text */ /* CIF CurrentPage 1 */ /* CIF STA()[(! l! 22!(d)["(! l)[%(! 6)[((! 6d! d)]][ +(! 6)][3(! 6^,! d!S)[8(! r 2()[(! ready)][()[3finitionPage()[(! startADefinitionPageUTPUT (267, 409), (250, 74) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Spe Modi ()]eady)][(!!")[(! 6^! d!S!)[8(! startAuthent)][1(!&X!"X&)[7 (! 6X!! !S)[8(!| /* CIF OUTPUT (267, 409), ( 250, 74) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][(!&!"&)[(! 6^! d!S!)[8(! randomNr)][1(!&X!"X&)[7(! 6X!! !S)[8(! (rand) to sender /* CIF TASK (171, 513), (443, 80) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][(! R!"R )[6(! 6^R! d!S)[8(! )][1(!&X!"X&)[7(! 6XR!! !S)[8(! expected := A3_encrypt(rand, Kp) /* CIF NEXTSTATE (280, 623), (224, 80) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][(!!")[(! 6!Z)][3(! 6^! d!S)[8(! waitMobileResp)]]]]]]]]]]]]}xtMode 4 */ /* CIF Keep Specific Geode Modified */))][()[(! authentResp(FALSE) to sender)][()[()][)()]]]]]]]]]]]}----------------------------------------0(!47!5!7)[!(! DefinitionPage!)[!(! 1!!2!3)[!(! 2!!3)[!(! 3!!3)]]]]}-------------------------------()[w(!GSDL)]}-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------()[(! l! 22!(d)[h(! l)[k(! 6)[n(! 6d! )]][ t(! 6 )][9w(! 62 ! !S)[8(! newtype A3_encryption_t operators A3_encrypt : NATURAL, NATURAL -> NATURAL; operator A3_encrypt; fpar n NATURAL, key NATURAL; returns NATURAL; referenced; endnewtype; dcl rand NATURAL := 7, Kp NATURAL := 3 /* Secret key associated to a user, normally commes from the HLR. */, resp NATURAL, expected NATURAL; /* CIF End Text */ /* CIF CurrentPage 1 */ /* CIF START (70, 200), (160, 80) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */ )]][Cz(! 62! d!S)[(! 6K! A3_encrypt)]]]]}-------------------------------------------------------------------------------------------------------------------------------------------------------------------]()[(! l! 22!(d)[.(! l)[1(! 6)[4(! 6d! d)]][ 7(! 6)][3(! 6,! d!S)[8(! waitMobileResp)][(!!")[(! 6! d!S!)[8(! encryptedNr)][1(!^!",^)[7(! 6!! !S)[8(! (resp /* CIF COMMENT (1069, 273), (245, 165) */ /* CIF Keep Specific Geode TextMode 3 */ /* CIF Keep Specific Geode Modified */) comment 'resp was computed by the mobile, using Kp and A3_encrypt also present in the SIM smart card.' /* CIF DECISION (818, 422), (246, 100) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][(!&!"&)[ (! 6! d!S)[8(! resp = expected)][(!Lx!"xL)[8(! 6~! (FALSE /* CIF OUTPUT (953, 634), (234, 103) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */))][(! 6x! d!S!)[8(! authentResp)][1(!^!"^)[7(! 6x!! !S)[8(! (FALSE) to sender)]]][(!"YY!")[(! 6Y!)][3 (! 6! d!S)[8(! ready)]]]]][(!^x!"x^)[8(! 633! (TRUE /* CIF OUTPUT (720, 632), (213, 103) */ /* CIF Keep Specifi!c Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */))][(! 6x! d!S!)[8(! authentResp)][1(!~!"~)[7(! 6x"!! !S)[8(! (TRUE) to sender /* CIF ANSWER (1003, 552), (132, 52) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][(!!"#)[(! 6!Z)][)()]]]]]]]]]]]}---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------O