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% # %
! ! ' & $" (