Two-Pass Authenticated Key Agreement Protocol with Key ... - koasas

0 downloads 0 Views 190KB Size Report
message authentication code (MAC) algorithms for key confirmation, and the two-pass ... Desirable security attributes of AK and AKC protocols are known-key se- curity (a protocol ... The following abbreviations are used for clear ..... crBWa crBRa). The protocol using these session keys requires 4 scalar multiplications and if.
       

         

   

                  

' (() % %(



!" # $% &

*  ++ ++ * (  + , * 

+* - *      + % .  * +  * 

(  /& + ,  +  *    * *  '  0 Æ,, (  (    ,, +    +  +    ',     '  * * 1 2/! +  3 1 ,  + 145 + ,% 6*  + ,   3    *  + ,7 * *+  * 

 (   * ( 3  /&  + , * *    *     1/  , *  ( 3   * +  *  (  + ,  *  ,, ( 3  * *  * 1/  *   %

  

              

                                   !"                                        #                

  



     $                  #            #         

   !"              

                $                    #  %     &    #

 '   %      &       ' #                                   !"         #                  (" )        #           

        

  & #'   )                                     

  

      ##  *            

                               %    +" ) 

                           ,        -                  ,                                 &   '                %   %                     $         #                           

       $                &   '                                      %   &   '                            &   ' $         ,                                  + + !" .        $  $/    # #   &                             #          

         '    &                       #        0' #      &  1                                      '   #  &                 1  #                  2             '  + + !" .    

   $  $/           

                    #   +" )    %    #  $    

#           . Æ#*              )               3)4$5 6 % 3  378 $    $/    $         3  $    / &3$/'    9    #      $/          $      :$   #      #         #     #   ; (" )            $/    #    #   $/    +            ;  = 9     ?     



 

)       3)4$5  #  6 % 3   #  378  )    $            Æ !    5"      @         %  %  %         & '                 &      ' %   )         #     "       #$ &   & '      % 'A"                       &  !"   ("' $                            %  %  % )     

       @ $          :$ ,        #  #   9    #/ #       6#   # +" B %        

    

   #        &       '           )   

     +"    )    

             %  %  %               & ' +"  %  =   %       %           :  > +   %         % %     2 &  '       & '> ?         >  (     2 D & ' $      

 &    '     %   

    &  +"    ' )          "   

  E          

 &    '   1  "

                "    

          2   )     & ' 9                    @         &                '           &            ' +" 1                &  '  &  '  

9                      ,    %    1  #  %    

           % &  1 

  '                &/$'1          )       #     /$                         +" 

       1                        # 

     %            +" )         "    ;" $      2 &  '             @  ; = +

             % >         % >    %  %       >   2 

)      ,       #          

       + )      +                       "    +" 9    , #                          

  ) 3)4$5        3      F!( A"                )      :$ F"     E "  G  ;5"                        2      &  '    ;                     2      &  '   =    2   H    +     2   H    ? )      2  & ' &          '   

!   

    2 &  H   '  !      9               

          

 "# $%    ) 6 % 3   $   "   $         $I JF+;; " $I JF(=;;"  ::: K =(=;="                                      2      &  '    ;                     2      &  '   =    2     2   +     2     2   ? )      2  &  '   !   

    2 &   '&   ' !      #/                       & "# ' ) 378 +"    -             $I JF+;; " $I JF(=;;"  ::: K =(=;=" )                          >   2 ¾ H     %           %    -    #                       &)                   % ' )   %     &  ; ¾ 'H; ¾  L   &  ' 2 5+"    &                     2      &  '    ;                     2      &  '   =    2  H      2  & H   ' +     2  H      2  & H   ' ? )      2  & '   !   

    2 &   ' 2 &  H   H   H     '  ) ,             #       )          Æ    #                                     +" !      6#               ="



    

)        #  $ $/   #      $/  .   

               #      ;

&  #   K +             $       ;    (                1         %       M  +"                     2           ;                     2          =                                 L     2   H & H  '    2            +                                   L      2   H & H  '    2             ? )      2  & ' 3                          & '              ?" )   2       %    +"

         2 &  H   H   '  )   $     K +                ?"         K + #     $ +">                                                 1                 K +                       )         :                              $                1                    1             )                 

   %      :$                              #   *                    0      Æ       . Æ#*                                         ) 1                                             . Æ#*                                         $             /$    %                    !       1   1    !

               1                             & & (" )                1    * 

9 1                    K#  +                 & H  '  C 

 Æ             9  ,     /  F" *           = &'    #                  0#     #                    &               1      '     2  &&  H   H   ' '                 +,  2  &&  H   '    '"    2  &  H    '     2  &  H     ' +,  2  &         '"    2  &      '     2  &       ' )          +                        #        #       ; )                    

&  - #   )       $/     K + K ? &$/ # '     K + &$ '     3$/   M              * 3$/  

    %    ½  ¾  & '        K         ½  ¾  ½ 2*$# &5 # '  ¾ 2*$# & 5 # ' +"    .                     2           ; & '                                   &' L                      2    &'     2   H & H  '    2             )          &'    #   #               2 ½ &# '   2 ¾ &# ' &'    3$/ &; $% $%   '          = & '                                 &' L     2   H & H  '    2            &'   #   #               2 ½ &# '   2 ¾ &# ' &'   3$/ &; $% $%   '   %              &'   3$/ &= $% $%   '      +    3$/ &= $% $%   '   %             ? )      ¼

¼

¼

¼

)   $/ K ?     $ K +     %               %           )     ,   

  $/ K ;  ?"     $ K =  ?" K ;  ?"        $/  *  

     K ?                  +"  * 

  3$/      Æ         %#

    $        %                 *        ,      +" && "#    - #   )        #                 %           

                  

    $         

        %          $                                         

    *                                     ,     M  K (   #            $

     :$              #  & &' '  1     '  $%  1   #

     /  & '                     2   &'   & & $% '          ; & '                                   &'   %     & & $% '  1       %#                 &' L                       2    &'     2   H & H  '    2             &'    #   #               2 ½ &# '   2 ¾ &# ' &'    3$/ &$% $%   '         = & '                                 &' L     2   H & H  '    2            &'   #   #               2 ½ &# '   2 ¾ &# ' &'   3$/ &$% $%   '   %              + )      ¼

¼

)   :     & & $% '                  &                             #    '     ) 3$/                  %             

          )                     &   %  

   '   N # 1 

    K (    # 9 #/  6#     

    K ?  * 

)                  *    & & $% '                               #   3   K (            M   K ?  

M          

 

)                  #       )        K  K (  1             )     K             K ;          K =                       K + ?  (                $*     9 +     ;    <   ;   8 , #  3 1 ,       <     ¾ ; # ¾ 8 , 145  ;    ;     <   #  <  ;    <   ;    8 , = ++    ;   ;    <   ;  ;     * $* $   /& + ,  9 >  +   8 ,

8 , : 1 2/!



)  ;   

                $  $/       ;  = )        ,         ,  

                       )                       ,   +"  )  =                       K  ; +  ? 

   =              &        1             1    '                 K =   ;?  ?         #   $     = 3$/      Æ     $/         

           $  +" *      , M        #       K (            M 

8 , 8 , : /& *+ 1 2/! /&  8 , # /& *+  3 1 , /&  8 ,

/&

*+ 145 /&  8 ,  ++ /& 8 ,  ++ /&  8 , = ++  ,, /& 

&/ ?&/ &&$

.$ & &$

Æ Æ Æ Æ Æ Æ Æ Æ Æ

   Æ  Æ  Æ Æ

 Æ  Æ  Æ  Æ



Æ Æ  Æ Æ Æ Æ Æ Æ

Æ Æ   Æ Æ Æ Æ Æ

Æ Æ Æ Æ  Æ Æ Æ Æ

   **     * + ,  %  ' * + ,%

 7 *     +    ,    * + ,9   %

Æ 

7 *     +  



7  *  * ,  *   * 3    *  '  * 

7 *      +  

  (% *    ((      , +   * + , 



@   * @+,   *    ,,   (   ++,  AB% 7 /  *  * ,    ( 3 % C* + , +  

    @+,   *     ++,   ,,   (%

   ++,  

* *         '   AB%

  $     D ' /&  /& + , , E ' F *  + +   F * + +   8 , :

:

8 , # 8 , 8 , 

: #%

:% :

  *  '   ,  , +,   +    (  + ,   $ K +    %        K +   

   K ? ,     :$   $ *    :$              

     1                L                    $                            #   / K (       Æ    K ?      K + $    )  = K +              $       :$         $                $/ 3)4$5       9   $/ 6 % 3   #/    $/ 378   6#    $ 378 1 ,  

$/ K ?         )  ;     $/ 378 ) $/ 378   ;?             #      ?                K =   K ?   =                          K ?   Æ     378   #    

   

K + &$ '             

          3)4$5  #  6 % 3   #  378 >  #      #         #    K ? &$/ '    K +             (">         ,     #     #      #         #    ) #  378  &$/ '

   

      K ? *    #    &       1             1    '    K ?               378  K (   #      $/              K +            #           ,                             3$/ *               3$/    Æ                #          #        K (            K +       K ? )                           )                            #C  ="           ?" & ' K +   $      :/.* &:   / . Æ#*   '   & ' K ?   $/      :/.*  3$/    ½  ¾       & ' K (       $/      :/.* 3$/

             ½  ¾         :% G% /( 0% *  1% 1 H*  3 1 ,I  '    JK.: 6 ' :KK%

#% L% C(  &% &  HG(  * ( & $* / (I  ++ %  ? ?% % 1% C,,  8% G H?  / *    & 0  '    * * 8 I

      ME $ ""

 $+ 

5, ++# ##K :KK%

% $% C,(F ,  /% 1- H/ *  0 Æ,, & / 8 ,I 8    * * / , F(*+  $,  /  + +* $/ 9K ME $ := $+ 5, ++

K =: :KKK%

% $% C,(F , % L*  /% 1- H& / 8 , 

*  $   /, I 8    *  @*

1/

 ,  

 ++*    ME $ :  $+ 5, ++ ! :KK"% =% $% C,(F ,  /% 1- H( &$* / (  * $  $  $$ 8 ,I  * , + 6GG K#  %  F, :KK% "%

% .% C,(  N% $  

          M  1* ,

$  M   E $  #= '     8 :KKK%

% 0% C*  G% M + H/, *  C, (C@ . ,   *  /++,    ++*I

      ME $ ::!K

$+ 

5, ++# #K" :KK=%

K% L% * $% 8( % 8(  $% * H$ , 1 , +,    ?,, +  ' .'  ?@+ I ?G L% 5,%#: E%: ++#"  1 * :KKK% :!% F% 0 Æ  1% ?% ,, HE 0     ++*I ??? %    * ## ++== :K"=% ::% &% % N H ++* 1*  /++   8 ', & ?@ *  * / *  I %$% + K== $+' :: :KK!% :#% 0% L*  '    /E$ JK.: (   + L  :KK"% : % C% &, (   '    /E$

JK.: 

??? 8: =

(   + L 

:KK% :% M% M /% 1- 1% 4  L% $,   $% 5 H/ ?Æ  8 ,  / *  & / 8 , I  * , + 6GG K  %  F,   1 * :KK% :% % M   8% M H/ & G  / (  0   M' $ *    8  6  $ ' +I

     

$+ 5, ++#K#=  :KK"%

:=% % 1   $% F, H0 Æ,, 6 ,I

 ME $ ::!K $+ 5, ++#

#K" :KK=%

ME $ :#K

    

:"% % 1  % (*   %   H6 $(  $ 8 ', & 0   '   $I %  ? ? 5,%?=K ++KK:!= :K=% :% /% 1- 8%  6 *  $% 5 G 8 :KK"

 

     

:K% E , $   /  H$& 8L/ &  &?/ /, * $+ 3  I 5   #%! 1 #K :KK% #!% %  '  H/ & 0  '   8 @I ME $  " $+ 5, ++#=#"  :KK:% #:% /E$ JK%#

    !

  1 :KK% ##% /E$ JK%=  ??? 8: =  L , :KK%

    "    # Æ$  (

     "     " %    &  ( 

 L , :KK% # %

     

!  !  '   & $"     (