PRUNES: An Efficient and Complete Strategy for ... - CiteSeerX

PRUNES: An Efficient and Complete Strategy for Automated Trust Negotiation over the Internet Ting Yu

Xiaosong Ma

Marianne Winslett

Department of Computer Science University of Illinois at Urbana-Champaign 1304 W.Springfield Ave. Urbana, IL 61801 
   

 !""# # $ 

ABSTRACT

 (*+
,-
.,/102$ "345 06,/7"+
8 & -,9
*'/:. ,
"" %'& )  & /;1,!06,

,? 4,@
/A4 & /4
& -, "44BC"/4"D
/4E 
?1,
" LM,
?4N"0"H/ I'
,>
O & /=$PFQ8">
? F & $R#3SH & . ,
T U & /4=$V BCW,A
& 
!
& A/4
& -,E/;EX+
g"4/4D
=1
=/4P>
,?1
"4 + `^L,
?4F= & $` c6I4/'$NF+ U
&  -,$"+
=4d$ ==/4,9.Q/4=="#5|M"4+ & U^iyfz!uOSHvj4BC  ,d
& 
@/W6,,""0 +
',$ "+
=4'1,O$"/4$g$ ,O
,>
"/
=
/"#L}jH4/!. ,/ 0i
& 
K^oyfzeuOSHv!=c~7""+
=E
&  @/4,>
  
& d"/7m="
/7"/47. 6
* ;='€8wqc‚1{o4
.,/10CO6
e=eX+
?4F= & 7"+
@'/ I\
" &  
,"$9,# ˆ!)/ IA
& U(*+
,
 g6Y
? F & $PI2,/‘,?1
 & # ’ ",?46 + Q
,>
e">
?4F= & 7"+
!E$ /W
& ,/ &  & 4A/4I I\/4,
/4jFQ
*@""N
& 8
*@/9=$""#Mv "7FQ/4
& . ,
"A , /
8B/j
/) & /4
& , i
& m
,>
;>
?4F & 7
;.,/+"  & /4=$WFQHFDT$ ,
/
T'/4,
& W1
ie,
?4A=0C"q#ine
& ,  ,m7/4,m,0=;.,/10=$,!"7,3/4V
& A@"FV"0C, )$" + 4$V.Q/.71,8.Q,I\/4,7g7/4,;6
0C;
,?44
/4wJIJ/ , 47. Y
! =+
? =V7= ,4 $1
?4F4@/ I ">
/47,c. ,/4Y="# %'& o">
/47,;>
R,"7;FQ,
& f,H
"#oŒ/4,47. ..Q/E g/4D‹=E$4
? F,?1, 3"/ D


? KFQ/+/4B " ?l>/4,4i4$W/I\,""@. ,/+""$ =K
& 
K"4AFQ $ 0 =$ $N+
/9
& ,"71
"/ ,""7,? =6 j4""=F ' """6D Fd
/And•f|¡7"mFQ,i/6  
,?
4 34$8
& d.,/+/4Ic/4I 6
i"/7m1
/m4
, @FQ;=U
/M.,/10=$7 + P-,$"+
=4W,X+">
"$VF+ )
&  .,/10=$,!P/ ,?$,O
/3-
O
& A,0"#W(*U
& =!4 `
& W
,>
/4
=1
=/4U4MFQOY
? F & $R#)Œ/ , 47. oV,;Y=V4]/ DTg4..
/4‡I\/4, t .
? F & 7"+
!4
HFQ
T'""7
T'/W.
".F >
".9F+ g & 47,"$"+
=4dFQIJ/ ,W
& O,X+">
-,! 9-

& 7-,0 "4#M}j7"4H
& 7"/>
,?4+
m/4j
& $"/4,/4Id "
0CE-,$"+
=4`
& O¸+ºT½"µ"¼2¿C½"¾
,L"4;4

& 8,0"gÉ5/6 P6I'
& ;,"X">
,A.,/10CE
AX+Y
"$`# }NOAÄZÅÞÝ
/;$"/4
E M.,/
"
$3,$
= x .Q/ +# nd8+
6
0C/F-,01
=/47o
& 
o
*'/E. ,
"H4/4
H">
? F &
,>
E"!
& -,;E
O="4>
W/;.,/
"
$U,"$"+
=4i/ 
& ,d=$# ’ 0CW',$
= É@ 'o O',$ "+
2 Ä:=K½"à Q¹*» µ?¹>ºxµ» ¼J¼2à ¶4·1¼J·Ú+»R¹H
/É:IL4Iq4-
=/45
#:(‹IOU,"$"+
=4 Ä¡4..Q" ,8‡/g/4IOÉ@ 77= @1
=>IJ4
/45
" @@M" ÄhO½·ƒM»Q¹>ºxµ-»¼\¼\Ãg¶4·1¼J·Ú+»R¹H
/3É@#f(*M
& e.4.Q, 'A47
& 
.Q/4=""d1,!f,6

"Nwq/ ,',f,6

"M.Q/,""".
-{@/m
& 1
> +
?4-
=9,=0 ") '" 37.""4+
M,""044"#¦(* $ Jl>
0CE/ ,4QIJ/ ,9 
& dd$/4EF+ 7,"7/10;"4 & $>D l*
W
& 
WWF7$)F+ P4/
& ,m$ =Jl*
#3Œ/4,A 7. ĦÅÇã]Î)wxã:ÏMäm{@ & /4=$MFQ!,f,6

"94!ĦÅÞãA# %'& eI2
f=$e/4IŒK,A!40C"' 34F>
,? 
f 7./4I,D $ "+
=4.Q/""34$tV,$
= f & 449X+"3 &  & >
?4F & e
,>
fI\/4,d
& E""+

/8-
!,0"AÉ]4"/4,?$
/
& E""+
O 
,?
" V & /=$VFQ8µ-¿4ƒmÂQ¼J·"¹·C#AGH V"/48D .
d@!7 8
& 1
@
& ev ne@/ I
& f
*'/A=$"@4346' @YIJo"/
=
/V & ""0C,O
& ;,"$"+
=4L.Q/4=""W/ I FQ/
& =$e =/¦/#o(T
f & /2$
,7I\f/4
=1
=/4[$ /+"A/4
; >
#P(‹
A & /=$]/4
;$>D =/4W4+ ,$ "+
=4'
& 1
 ,O/4
"
= `
/mm"/
21
/# ŒK46 + c>
,?
4 ) & /4=$UFQm, /4F6 )~8""+
# %'& m~8D = V/4Ifg>
,?
4 P="YI\ /4
=1
=/4N PFQWIJ/4$))
& A7;Ñ.Q/F8mFQ, /4Id,/
E"/
=
/VIJ/4,A",
? N,0"m6
& )$6
? f=F ,? , :" P"
!IJ/4,E3,"$"+
=4L!,""0C$UF+ )4Pvnk 
,?
4 + ' & "5P,-D X+">
AÛÑ"/47"" c
& 7v n_"/4;F"W4i
& 8.Q/4=F7/
/ +
/g"/4+
,!,"X">
EÛ à
& 
!iFQm1
>YY
,?
" j & /4=$ & 46
# “ /'0C, c & "N
T'/9. ,
" & 0C 4+ 3,$ "+
=4" Q d@"K4"/47.M$"/ ,W.Q/""" R I2D
,!"0C,? c,/
e & 4"" Q
& A…"m/4I
& 8,"X">
A" PFQ"/7 & 4#g(*P
& 8'/ ,>
;  L
& 7…" /4IcO,X+">
H 3FQd .Q/"+
=47
& mFQ,o/4I,$ "+
2  ‡)"/
=
/` H & = & F,4; .Q/4"+
=4'/7;1
=/4 "/4>
# }jg"/M
& 8"
/‡6
& V$"/4[/4Ie
& g

T ]/4I .,/4.Q/6
/4K.Q/4="""# %'& E/F0/
,? =
/4U/4Ii7/>
d,-D $
= =+
/j/4=U,X+,Y,>
D‹/4,?$-,"/>
,
"#”Œ/ ,D 47. iM,"$6
;" ,?$N,"$"+
=4'ÄÑ7 &
E
,? =
3+
/M
&   .,=/43•H,$6
-•'1,?$w‹ÄE{oÏN•H,$ 
-•'1,?$ % .Qw‹ÄE{ Ó5ç (>vntÏ ˆe-,1w‹ÄE{ Ótè   ¨O/+fÏ9nd""/4+
u!;FQ,1w‹ÄE{ Ó ±4²4³C´4éÁ4êë4® φSL .6,?
/
,?1
"4 ] & ,9.
3
79
& 
3/U.,&/ "                   ( 7  "  &  $ . 1 8 # 7 9   " # $ @ / & A = , > / & " ; : ; : : <      ) &*&/+-+.&/" 02143/&/56*&(@CB 7#) &"%* &&,$+-1.+.8 &/" 7#029"14$3/&/56* &                D              !("$&/" !#'E@F7("&$1.8 7;9"%$G        ) &*&,+-+H&/" 021H3/&56*&     # ! % "  $  & " ( ! '    !("$&/" !#'E@FIJ9* 7(KML NM3/3/O PQ5R8G        ) &*&,+-+H&/" 021H3/&56*&   :;:#: < &=?>,&/"S@CB     MTV\hUHWYy beX[Z\h\^\6x‚]Y_ayz{`c\pbeo\6dfZƒ\hgj\hZikmiYx[ls‚nH\6yopz[dr\€qtQsnHUHU4\6oxjtQn.yvd„ oX[Z\ulMdn4U4tvUH\6owiYxsCiEtvZ\6s[\6xjyUHiYnc\hg[tz[iYx{WY\|o\6}jX[\6xtv\~bzU4tzC\6oyirnHU4oz[\6o€y%ZX[oy îKï6ð6ñò1ó'ô ð6õCñföR÷ï6ð6ø?ð6ñù ú ú ú ú ú

ô ñ 1ñ 'ô4ð6õñfö`÷ï6ð6øð6ñù

ÊHûÑüQÊý;ü þ ûÑü ü þ ‚ ‚Lÿ þ û û û

üû ü Ê û ü

ú

‚ ü þfû

û

ý ú ú Ê ÿ ú ‚ ÿ ú þ ý ú ú ‚oÿ ú ‚ ÿ ú i ú Ê ú ý ú

òCõù*ø ñù*ð òñ

ñ

îKö

ü þ

îKï6ð6ñò ó@ô4ð6õCñföR÷ï6ð6øð6ñù

ú Ê ü

‚

ô4ñ 1ñ @ô4ð6õCñföR÷ï6ð6øð6ñù

ú ‚ ú ü

J…

-†

X+">
!8. ,/.Q/4
/4
T =;$Y6
/P/4I L£¤š ›Jœ o4£>šm
& 1
A4F>
,? 
 "' m
& 6,,""044+
H4
d/4IK
& O.
,?
4 U>
?1,
! & "U
& A="+
 Wv ns"
`IJ/ , Äm 4
i & -BiÄm i$"/4,'.Q/4= +#K(TI
 H
& ,X+">
8=$ "$R#tˆe
& ,D Ê / IOÄm#Nv.D  o
& gvn_
,"A
/)/0C
& 7Y,>
m"=4 .Q/ Ê Ó ÉLÊ@Ï:Ì=ÌÌ ÏPÉÍ+# %'& 9v næ=f
& :47 & ÉRÐË5֑º)Ö R d>
?1,
=:
& É Ê #h(‹IAÉ`Ð &  946,4$ [FQ"" 4,? +
$` L
& 3vnæ7/10C"W/4j
/VÉ Ð Ê#U(TIf
& 3vn & 4m46,$ $UA,X+">
IJ/ ,EÉ Ð
& 
& 4/
eFQ"94,? +
$M/4,!$$ wx3¬¤-—
7I\/4,3,0"VÉh=3$ "$R '
& "‡
&  44/4,6
&  & 46
E I\i"4/4
=
/4W , 7.Q/FOFQ-
*'"g
& !
*@/;.
 :"">IJE"4/4
=
/`#ÑG@/
& .
?1,
34
4,$ "+
=4 & 4MV4,?4+
3 
,?
" NF4?B+
,?4?B e & " D "0C-,!8,= ,O$".Q"$" 3!$ 
"
$R# ’ 0C"g
& 
d
& E-
 /4IR-,$"+
=4H4$;.Q/""'1,fY
? ,
o$ "!4+ W>
,?
4 R L"/7.
?
/4; 
3"4/4
=
/4Z4/ ,
& 7" e4 neue¨ ˆ!y_
,"Na ë bd ="$‡
& V—R¤x¢C™4œq›x œq›x™4—5¥¤4£˜ tœq£¤?¤-#t(*‡ /4
=1
=/4: , &
," 
& ,1,8
*@/UB $E/4I/$""A,-D

¨

¨ «ª ­

.¬

¨

¨

cŠ

¨

®

$ "+
=4L/$ "O 
0Cd/$ " /4,,".Q/4
"+
'-,$"+
=4q 6
',"$"+
=4Q/$ @/46 7 & =$3@ .Q"=4K$ Jl>
0CE/$ O =$U ”—Q™š+¤-#HG@/
&U% yfzOS  >
FQ"V,"X">
$VI\h,/
dI\/4,!,$
= LĆ= FQ!$"$` C &  & 'e4d
/W
 g-~7""+
'F4?B
,? -B >
,?1
"4 +# (TN
& 7F ,
DxI\/4,"7F4?B
,? -BM>
,?
" + L..Q/8
& 1
m ,"X">
tI\/4,'Ä[=o$ "$R#K}j@ & /‡
& 
L6
&
& 'F,
D I\/4,"f>
,?1
"4 +
& -,@L/f" E
/!/40Cć6
& /4
L/40 O/ / ,7/4,O/ Ic
& E4"">
/4,/ Ic
& !/$dIJ/ ,OĔ & ,!
& O$=4 l*>
'
/+/4B8.= "#i}jfRI\,
& ,' & /1[
& 
@6I*  & "7
& e
,"X">
IJ/ ,UÄ 3,""0C$R /:,$ "+
=4 & 43FQ""[4,?4+
$ " s'4O$ "$R 
& "9/
!/46 MK
& d¦,X+>
eI\/4, Ä FQU$ "$]
/+/ F
7/j/4
& ,,$ "+
2 d!FQM4,?4+
$ FQ-
*'"M
& e
=7e
& OZ,X+">
df,"""0C$g4$9$"$`#

(º

º

»J¼2½¿¾jÀ½6Á ƦÇ®  /­ H® ‚?Ã Ä Ä uà ŠÆ Å Ä HH® ® H® H® H® H® AÄ ®

4# ?—hœ ¤ £?– œT¤§ "™4£>˜?¤ ?˜ œq£C˜ ›J—+¢ ¥ œq£4œT¤x¢4Ÿ ¤-—h]£¤ –¤-¥œ "™ £Uĉ›\¥Vš+¤-—›‹¤š 3¥–1¬Q§ ¬ ™4¥¤8œ 4œ!œ ¤E¬ 4œ P›J—Nœ ¤7—Q¤x¢C™4œq›x4œq›x™ —‡¥¤4£>˜ Nœq£¤¤ -£>™4­°œ ¤M£>™™4œWœ‹™Pœ ¤U˜£¤š+¤-—œq›xžf—Q™š+¤ "™ £7į˜™4£-§

ÍSÀ¿¾{¾jÎÏ

^L,/+/4IiF+ 3
? " I\,/4h
& f/$ 'IJ/ ,H-,$"+
=4
e/E & . ,/.Q,d$ """$"+
;>
 >
#Hv /8¸ Z# } & ":¸ Ó  L
& =m.,/4.Q,7$ """$"+
A;>
mFQg)Œn Kv S /$ 8wq/4
& , RĔc/4
FQE$ "$77$=1
"6 34
f±4{-  &  & 7 K
& 1
L
& v n[$ /+"i/4
o.Q/4"'Är 
& 10g .=/ ,$‡4 Äm "=47FQIJ/ ,)$"+ )
& g,"X">
7IJ/ ,gÄm f & "=4 /4IWÄm 7.Q/4=- ["/4+
?4V,$
= ! 7/ Ô Ë"ÌÌ=ÌË Ô Í)
/ "/4>
6

',= ,o$ ".Q"YC˜ ›J—¢ Ê 4—4œT¤x¢4Ÿ W¥–1¬C¬ ™4¥¤gœ ¤-£¤M4£¤œ @™)£¤ –¤-¥œq¥ "™4£EÄ i›Jœ AÊg4£?£?› ›J—¢ ?¤ "™4£¤ c¤-œ ?¤ ‚ ‚ œ ¤!¥"¤-œH™ @¢4£4—œT¤š3˜£¤š+¤-—œq›x4ž ¥ -£>™4­ ™4œ 3¥›xš+¤-¥e4—
'.=4" 4$ D  j
/]j"/+
,?$ 
/#hv /]ۄ;>
"/+
?4r/47U,$D Ê Ë"ÌÌÌË Ô Ê Í # 
Ô Ê MFQW
& WY,>
E & ,"$"+
=4
= =E Ô Ê
/V ..Q1,8]Û8#jv" Ô Ê ;UÂcÊ" i &  AÊAf48$"="$` h$ /+"7/
"/+
? =[4+ ],$ "+
=4= Ô Ê ÊËÌÌÌË Ô Ê Í#t}N B/1p
& 1
m & "  ,,0C"" & 4m/4
m & 4$j" WÊ ‚ '4o$$`# %'& ,I\/4, Ô Ê f4o$ "$A$ ,=e
& 'F
O/W,"$"+
=4K7ÂQþEf ! ,?4+
$9 & " d,"""0C$R ‚  &  & 74f
& E1, &  =/4WÂQþOK/
d,"4 & Ä!àL
!4K .Q,/$P± F
e>
/.P4$VF4?B+
,?4?BU
O
& m ,?4+
$),$ "+
2  ;/+
,?$ =-
=/4# (TIÂ þ "/4+
?4f,"$"+
=4;Â Ê /
& ,f
& 4MÄm 
&   & /4=$ FQ3=tÄeÊ Ê"Ë"Ì"ÌÌ`Ë?Ä Ê Í9FQ" g/4
& -,=3
& ,3'/4=$:FQM "6,"21,g$".Q"$" j6
& -,$"+
=4P #Zv..Q/4 Ô  ‚
& f=/4">
f/ IQ
& " & 1,$8,$ "+
=4o
/AÄ!à=EÂ
$V & "P
& 
W/$ 8f 
,?0C,$]FQ" M
& ,M).
3,-D "$ 
'IJ/ ,eĦf d$"="$`# %'& ,  =/;A4/F·¸;1
f4 & .
?1,
E4$M
,>
d=LFQA">
? F & $R#e}Nm K
& e. &  A
&  ˜£¤š+¤-—œq›x4ži¤ C˜ 4—+¢+¤d¬ 4¥¤-  & O
& !Y,>
. &  E'
& ;—Q¤‹¢C™4§ œq›q4œq›x™4—7¬ 4¥¤-  & "3
& e
T'/;. ,
"f &  d,X+">
  ,?4+
 IJ
,>
>
?4F & 7
# ŒK4,A³340C"O U47.=E
/7 & /1 & /h^iyfz!u!S@v'/4,B"# (‹
E0CO
& A7"448 & 4;"X";V
& ;"/
21
/  /A6
&
& O$.Q"
OIJ/ ,AÄeÊ ‚ wq,= ,M$".Q
OÄ 1
e
& !.Q/+
#d(T
!$"" ‚ ÉKÊ7>
"$`# “ /1@"0C, @
7
73.Q/+
91´+ @
& g
/4
?  ;FQ, / I! ,?4+
$],$ "+
2  &  8, $:
/]4# %'& g,0C,m= ,"X">
!Ä
"`# ‚ & %'& LIJ//e
T'/f
& /4,"7R & /P
& i~7"" O/ I^oyfzeuOSHvR#

×

?×

ò

¿® /á ®

¿®

ò

ò

ò

»¹¼j½6¾jÀ½¿Á /á äÚ {° ® ¦Ç à ,Ä ,Ä ÆMÇ®Æ ‰Hî ,Ä ­ H® ÍSÀ¿¾{¾jÎÏ

Ý Ã , Ä;Æ ,ô;Ä ±²2õV³Õ–ó · Ê

² # ¤ H™4£-¥œ;˜4¥¤P˜™4­;­m–—›x˜4œq›x™ — ˜?™ ­!¬Qž=¤ 4›JœqŸ ‹œ‹™ œ‹žo—–­ ?¤-£7™ ;­7¤-¥¥"¢+¤-¥ dœ‹™4œ‹žL¥› 1¤ ™ d­7¤-¥?¥-¢+¤-¥ o4—
c7"44"i4$W
& @…"f/4I4 & 7"44f$".Q
H/" +
& mFQ, /4I` ,?4+
@74'H/E7/4,f
&  8
& ;FQ-,i/4I`,$ "+
2  /4Ie
& 
*@/N.
? 
#hv /N
& U…"P/ IAN4,? +
7" A=d/77/ ,E
& 4)€8wq{-# %'& ,IJ/ ,A
& W"/>
!/4Ii4,? +
7" "de€8wq ‚ {'g
& O'/4,>
d # nr,$ "+
2 `Ĕ@,X+>
$7/6 8 & ")w>1{H6
& 4H/4
'FQ"" 4,? +
$Z C
U ·¸N3
7/>
7
& M
/4
?  mFQ,O/ If,$ "+
2 A/$PF+ U
& m
*'/M.
$M1
e7/4>
f
& 1
e + 7
=7"# %'& ,I\/4,E
& 
/4
? mFQ,i/4IQ,"X">
o7"44"o=H€8wq ‚ {L;
& ''/ ,>
@ # v "4 & ,X+">
H7" / ;"/+
? =@E,"$"+
=4
!4A"/47;
/U/>
O/ IH^oyfzeuOSHvg €8wq‚{- o=:
& g"g/ I!FQ/
&
& 
/4
? ';FQ-,m/ I!74 4$m
& f
/
?4…"d/4IR74"# %'& ;FQ-,i/4IQ,/
7€8wq r ‚ { Ó €8wq ‚ {-# v "iƒ ‡i 
& L
/4
?4"/7.
?
/4
4"3 
;FQg"+
84C tIJ/ ,8
& 1
-,$"+
=4q# %'& NIJ/ ,m-,$"+
=4E,X+>
$PF+ V/72$ 7F
/4
e/$9F+ 
& W/4
& , 
& ,E=cFQE/6 M/E,X+">
e4
"/ ,,".Q/$f
/8AZ"0C`/ IK
& e , &
,"4# %'& "6, >
,?1
"4 g=Y
eSo>
? F & 7"+
d^L,/ l*"
O
d(>Gf| “ 46Iq8yd"1, & c F &  @$ "0C"/4.Q$;O> >
"s
& 
H4
/
  84o,/4"
/f>
,?4,cF
m">
? F & 7"+
m7" & 4=7m ,36D*$ 6,"
/4q# “ /fD "0C-, e
& "6,g@/4,B9 rFQP
"$$‡
/t =/„FDT$ ,
/
>
?4F & 7
d=8/ ,d4..,/C & # |M & '/ ,B & 4MFQ""¦$/4N/4Z.Q/ ¦$Y6
/¦7" &  D 7"#a ´1bK$Y$3;"-,
Y
-DTF4$3,/DT47"+
d.Q/ =4
34/+"6D 
"$P6
& 4 & F.,/4F"‘ A@"' A"4 & $"/7.Q/6
/`#

¦¸

cAŠŠ

~



îKï6ð6ñò1ó'ô ð6õCñföR÷ï6ð6ø?ð6ñù

ƒ

ú ÊHûÑüQÊý;ü þ

…




ú þû ú

û

ú

û

~

Ž[ Œ[ü   ‘’ ‘

‘

Ž] Œ ú ‚  ] ‘’ ‘

‘

‘

› w }D 7Nx           y lzt({Lo 7 p }ܛ w          lm n
o 7|ˆ             s m  t(uv o N7 ˆ   7 q       lm n
o |        lm n
 o ‰› q   y l‡z t({Lo ›rq}D7 p          ylz t({L o 7 q }/› q GA‰› w           ‹ 7 Š  lm n
o        7 Š }/B   ylz t( { o  › }N7 q{G? 7  Š     y l‡z t({Lo      



y l‡z t({Lo

,X
V"4/4
=
/ >
,?
4 ZF