Authenticity in a Reliable Protocol for Mobile Computing - IIT-CNR

Download PDF
3 downloads 86406 Views 136KB Size Report
Comment
Channels and "1-time" signature schemes. Further .... We propose to add security procedures to the original pro- ... classical digital signature schemes as in [21].
Authenticity in a Reliable Protocol for Mobile Computing Nicoletta De Francesco

Marinella Petrocchi

Dipartimento di Ingegneria dell’Informazione Universita` di Pisa via Diotisalvi 2 - 56122 Pisa, Italy

Istituto di Informatica e Telematica Consiglio Nazionale delle Ricerche via Moruzzi 1 - 56124 Pisa, Italy

[email protected]

[email protected]

ABSTRACT  

 

  !#"$%&'!( )!*,+!( (% -& (. ( -/   ()+0* ) !(1 -2 -* ,3 4* ) (!(43 - '**,+ (%  536& 5 "78% - + +9) 2* :%"; 5'!('

2 ? @  !A

B'' 5CDE ( F%"#3 9  !A ' GG8 & (  

8% ( H% 2  (,"D' *+I

'+ 5J2LK#MNO= % 2 *H'2NO'  M' **+  (E (  P)BQ1%+3'   (Q2 W  '>% 5J2W%"  8O 9%N X3V 5'!('

!( (  '?Y@ (%!'NO! *'   (w'* +=6Dx **,+ (E/

 (W%&D)!( >,3 &'!2*' *'

%> ' AENO;8  (83D '!( A*HO' B 8E¿PNO' -/   >0 xD8O 'À< %R-'= w'!% (NO'!52w% -2Á"7WNO= /

% (' X WB

'

( .": \ +DEV'

+' '?X@ZG*'83D% (

*|)D

'fBaO`8Î&*'

>' I%D  8%

* (

( A?^@ 4"#3&% ' !A ' G8 & (F 26%'' + 9

=/ '+ (Q2 (

+ ' ^ V3U

' 'G%"DB

)!( N  % (' P3D% P  )B'' 

;?P¾Q,3 ( :DB=:UX%

+ *G3DE  !#%/ '!  531%+3'  '% ( *'83D% (

* IV

+3 %D%) (!( (Q2 "$%3 1!> 5 (*H%F3 - MT+3'  (%4TD%= H % (> 5/ DE0)2}.!('> 5 (*H%F3 -?Á@& ( X'

=8% ( HX+ (NO

5Q2 'N 5  *uOV"7'

Z%D3 ( G%

 -8%  'u3 !( -G=83D% >%/ ( >. -+D'  ,>8' 'u;?S )D%

M3 '

( SS

 *' ' ' * (>4"7*Ñ B -/ !( :)2MÒx

'= Ô

'  WzENON (Õ"3 %/ '!e?,€' (  ´  

 X3 % ' !P (H

''+ 5J2W'N 5 / *' ?9¾JT€'=  º U,B

,HÖNO=

T%":3%/ '!eu;' (=3F (3

'+ 5J2W*=3  (

* 6+3'  (%3  83D> F 8O '?9€' ( .·M> (NO &M

O83W"^+9  > ( > '

E=3'>OE8 ( >Z3 U"7*H!NO= (C % (," 3 U

'+V%/

  !d?X¾Q.€'= ¹M ' '?VÒU

(!(!52 u; Z×WØÙ" *Ú

(> !(X

' !(9'' N GÜ (43X"$!(! ( >WÊ$"7*Ñ4

' Û F1

Vçz"G*+ !5 ( !(M) +=CD ''' (NO 'um 53S !52. 

D (> (BËG "$!!( 'K Ý Þ ÛéáDè â ç Kê×FØ'Ù 3Mç| ( YH

Y"U '

' '?,å9 (

×Õ -8  X"7pJ*+ !5 5/ ' -s* %!( (Q2 ? V'

' 93 V)O% -"U*'

>4Ê$"7*ëH

'DYÛ *,+ !5 ( !(F'' (NO HçZuG 53w !52}  

'  ( >S ( DË

"7 !(!( 'K Ý Þ ÛíáDìâ ç Kê×FØ'Ù 3&ÛxB

() !52H)  ' - .2 * (%!!52Á Á 54 ( 4HC   N' ?^îI *Yï9 -8  G"$%4pQ)O% -s* %! 5Q2 ? ' '? v "7*H%!I !52

 X"^3 / =   ,"G3H  !duP' ' 53S8!:8M'!( (NO 2 u + !( (%' U ,!(

' U'ENO 2 uO3  ^)B''B "7*M (Fà ²Å ? @6D. (!

,'**,+  (% ( . ( +'!( 5/ %) !( ? ¶4ò 1' **+  '%F3+ >3Á 5'!('

W!(  4%Dx*H'2 *ENO? ¶ ENO'*'  GE&+  =8) !( u (139 % (q '= 2 %3 4''!(!&%4'N 'x'*H (w+1"V'ENO8%> "$4

 *W (* ? @ 9*' -/

%> ' 6 53Á3 F> %

3 8 ( %?V@ % ' & %!(! ¶4ò M (}3' 5M'!!Z%D0

'Dq*'

%> ' MT.

B' 5CD ¶4ò (03 ' 5,''!(!d?}@ Z)BG"7*H!( (Ð'H% U (Ht# (>? r%D63Y ''+XF)BY=! ( 1 G"$!(! 'K r ? v *) (!(T3 - ¶4ò uG (

3 ( >0}' **+  (E.wfBi=ô *'

>X,%3  'u

'  1ØEþ uD' 8 ( ( >3V

'\+' + *)B "P3 Y'+ ' fBi=ôP?ZÌ:%=3W> % % % +B ''' (N ( >W%+ /{"/Q%8V*' -/

> ?:yXB H'' N ( >M6fBa `8Î%u 3 9>OEG'21

'D ¶4ò ' 2 "93 1* 

(>T*+ !5 ( - '?ÂÌ^83Â> %Z)B=J +DE8 'M3,"$+!(C !(!*%"G' 8% (

''+ 5J2./ =   ' ? =X (NO'03 1

'

5 (NO4 %+4"X ("$%*H% ( ÂB

() !52 =83D% >S (ÂF+q"9W  !G 5M% BE ,%

 D%) !(1  

F3 '

' T (w3 . 1"B %!Y NO % (' 'K +D%+3 % (Ð'3  - U*H'2  2   "7 (33Z*H%!D/ '+ ( 6"#Y  !L (1%8 TF>+D%8% 'H1

V%"  B  (' 'uX* >3 (=3;KS AË @8f bQieÏ Ç c7bdÉuZ\ + 5 ( >S3 %1 2  8OG'' (NO4) 26,!('> ( (*HEY3  -Z3  )B''1 (> (DEF) 2 !('> 5 (*H%:3  - B ( DË CYF_ E GHBn ce`abQi=u -8% ( >3DE#Z!('> 5 *HE 3 -:'' ^+  !( (EGD8O 'u d? ?^+ !( '%' ^% (

%8;? @ 5 (*H%3  - 9H+3 '  (E 3 Y'' (NOF)   - X X ( '1 (> (DEF"7*ý3

-8% (D% 2T3  -Y'

B 

() !(M"$%V3M''!(!^ (T3 (83T32 3D% B'6M)B&!( E;? 9 P\ + ( % H%"A3fDaO`8ÎM*'

>9 ( U+ (*B 8%  > (NO'3 %I38% 3 2Fà ² ²Å u3X (> 58!

(>D%+X ( :3GJ2 (%!D*'83D (

*Ó>+D%8% 'X%+3'  '%/  (S"G% (> (0 T ( '> 5J2 ?M¾J. +V' um+"$% +  %'!52 u 6 > 58!(!52

>T'830fBi=ô *

> *H'2F%+

 ("$'

() !(  * +8% (  !A%N !(O F"7&*) (!(3  - 3 (83W3DNOY (   (/

(Z!( * 5V'

 +'' '?:@  5+D

*H%!(!=3Dq 50)D%D 3BË%D0*H'2q %M3DNO63 H/

+' V"7VB "$%* ( >F+ ) !( (MO=2 B8E  V (T3  (V'*M/ !(' 

'? ò ' 'um+DE8 '' ( >W3 

3 (0"Z3 H +) !( (HO2 ,E, -8%O ? µ  **q

 !(+ (

!(2 qîP+ )!( O NY=2¾Q"78% - + +' 6Êe7î NY¾Q 8Ë&D (> 58!U' /

 5CDE' 'uDÃ5r ²EÅ ?P¾J9 5'!('

P'N ( *' uE3 :*H > *' I"  (> (8%!L'  5CDE' G'+ !M'

+ !5G (1V)B% ! '8,"$%Y+ >U3 D H Ç igJa Gb l i=f bdce`abdce_%f  3 

& (!(!m)B&+

13 + >313&*H (1 5'!('

9!( B? S ( 3 = (Y3,' '"G]m_`abdce_f g$]Ic$h,c7bQij kml affLin o"7 * Ã · Å ? v ]m_`abdce_%fDg7]Pc$hc$bQi j kml af fBinÊd3 E"7ÍmÍ µ ËV  ,

'DE/ 8%'"7*Ô3 M (3.%=3 3+ ( >VV 8%

* (

( 6ENOU3&ÍAÍ µ ? ò  'X+D (,%D ("8%x83D%  ! 6'+ !x)B>  wÍmÍ µ 4> N 'Á3 W3 2

(%! !( (* ('68> "m3 ' 5 8

* 

( 'u#Ã5r ´ umr· Å ? SU+

ÍmÍ µ ^X=3  >< ("7*H% (H)B +I3 G+ ) !( (  "I, +) !( (&O2 u d?  ?P3 Y%

 ' % ( )BQ (8%!B'  5CD'% ( '*' "  (> (8%!B'  5CD'%' U+) 27î NY¾P'+ !M'

+ !5U 6Y)B !(''8 (63Z3 !(& -2 -'*ñ+  U NO - > % ( ;?:@ + %8%x 2>8% 3 (q*'83D% (

* F (Ô%8W > + %8%M

''+ (Q2B  (' '?M¾Q3,"$!(! ( >FU,

+ B

 3 H'

' 6%"+  +3 (Ð'S*) (!(3  - 'u: d?  ?3 - 3D%

E %Y!('> 5 (*H% ?@mF  - (> + (

3T)BJU''S%+3 (Ð'TD +D%+3 % (Ð'q3  - 'u^U1G 51Í ¶4ò .'1!('> 5 *HE 3 -?Ì^830Í ¶4ò  !(

.F* ) (!H3 - ¶4ò ) +V3 B/

59  U : +  KI>' =  ¶4ò  U U ''

% (!521!('> 5 *HE 3 -? 

+*3 %H3 W*+ !5 ( -6ENO183D '! Ý (|t# (>?¯r 'FZ)BY' * * (

L?ISX + -Z3Y>'  943 9 (' !( ( B?Ut + 3*uUMZ'

9%W NO % 24)!( 8%*B 5343 Y'**,+ (% (4 13 & 5F!( ( B?U¾{"#3 = ( X (R- ( ": E8' * ( >M" *ý+  +3 (Ð'F3 - 'uDU %

+ *Y 5, '+Z 43X 5'!('

X!( ( B? M+

,ÍmÍ µ  53.3 "7 !(!( >.

+ * (  'KX ËX"G%!(!^3 *) (!(F3  - 'u_f n É3 4!> 5 (*H%W3  - } 8

* (M%N  3ZÍmÍ µ B ( Ë#3 Z -8% (  % 23 - U'M 8

* 5UENO^3 ZÍAÍ µ %D03 !}D 5%"X+ )! ( »  (N%4 2 .B "$%* '> +!%

(>D%+

=3'*'   (SÃ ² r Å ? @ + 

3HD%  'Km3 GC  -UD% U' '  5 *HE3 -Z,3 ' %8 (DEuD3 (!3 Y

'  F  Z'/  q 53}34%+3'  '% ( }"93 6>O%=G'2   .3 !('> 5 *HEY3  - Z+ ' !526'

'  (4'!(!A d?:Ì^N '63 +> 31U !( 

93 '' (

 '  5J2M%"B3 

' :"A& =x*'

%>  uOU EM ( ' - !(2. (Ï' (M%+3  (' 5Q20Êd83T!('> 5 *HE 3 -Y'W''>  (Ð'3 3YH*'

> ( 5/ *HEY3  -=ËG8E3 3D%o= +%+3'   (Q2 Ê$3Y ) (!( 5J2 , '  5"7263 &

( >!(V % Q26 53 F,

=Ë=? 4.1 9\ Authenticating + (&* ) (!93  -Gthe %mobile N X 5 G!('> sender 5 (*H26 (4%8G

D0W*'

> ?¾QS3 H=/J%+3'  '% ( 0 3 

3 63  - 3  GM)BY32

(%!!526!( %'F'!(

Y,3 X' 8  %%? UVU û U ø|ú áDß â û K Xú W Ø Y ZM[ ü Ý þ \;]_^ UVU û û áDßâ U ø|ú Ka`!bdc @%2DË=?^t# 5 -u 39*) (!( 3 -Y 8%

* 5 X3 , (>  -"GH8  *!52W>' =8%.+*,)B ü þ \;]_^ W3 6' 8  %%ENO,36ÍmÍ µ ?^@ 5  +) !( (XO*2 `(bdc