HAL Id: inria-00070249
https://hal.inria.fr/inria-00070249
Submitted on 19 May 2006
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non,
Concurrent Secrets
Eric Badouel, Marek Bednarczyk, Andrzej Borzyszkowski, Benoit Caillaud, Philippe Darondeau
To cite this version:
Eric Badouel, Marek Bednarczyk, Andrzej Borzyszkowski, Benoit Caillaud, Philippe Darondeau. Con- current Secrets. [Research Report] RR-5771, INRIA. 2005, pp.22. �inria-00070249�
ISRN INRIA/RR--5771--FR+ENG
a p p o r t
d e r e c h e r c h e
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Concurrent Secrets
Eric Badouel and Marek Bednarczyk and Andrzej Borzyszkowski and Benoît Caillaud and Philippe Darondeau
N˚5771
Novembre 2005
Systèmes communicants
! #"$&%')(+* -,"/.0 #')12!'3"4,5 #)6)781:9! #,4"0;,"6)'=<>!$&6?78@631-$BA>@1CED #,"
'3,$#FHGIJ #(H(K #%4"ML #,4"ONPH(Q4Q'SR #$&,4"'T #%0U
VTWBXZY\[^]J_`Xa^b?]J]dcfehgia`jke3Y\X
lnm bkoZ_^Y\XpVBq
r j?sfs-b m Y+tB_ m _`avuh_ m avuf_wedx)y3z?zB{|~}+b)_^]d m _k))y| ?shjk)_`X
4`^f?? gi?_`ej-efgY\_XZYvjY\_XWBXY_^]gY\u2shj m Ygjkb)hX_ m ?_ m X!jkehtb m _`j?avub?-X_ m)_ m
j m _`?cfj m X_=Y!bk Ym joZ_a¡Yb m gi_`XEuhgiavu¢_a^j?£jX_`a m _=Y _a^b?ehXgtB_ m Y\uf_¤3cf_XZY\g£b)e¥uf_=Y\uf_ m Yuf_
b)hX_ m ?_ m Xa^jke¥_`?_ m he-t¥b?cBYY\uhjYY\uf_JYm joZ_a¡Yb m WSb?Y\uf_>XWTXY_`]¦#_^ib?ef3XYbXb?]J_X_a m _=Y§>¨©_
X_`j m avub m j m _^?chij m a=b?e3Y mb)Cb?eªY\uf_dXWTXY_`] _`eBb m a=giefJYuh_dXs#_`a^g-_`tX_`a m _^Y\Xb)eªYuf_b)hX_ m ?_ m X
_`?_`e«Y\ufb?ch?uEYuh_^WEuhj¬?_ch£)3ehb£_tB?_5b?3Y\ufgXa^b?e3Y m b?§®¨©_Xuhb¯Y\uhjYj?eb?sBY\g£]j?)a=b)e3Y m b??j?£ j¬WBX
_^°BgiXY\Xj?Y\ufb?cf)u©g£YdgX?_`ef_
m
jkiiWSefbkY
m
_^)cfij
m
§J¨_>XZYvjY\_>XcB±>a^g£_`e)Yda^b?ehtfgY\g£b)ehXb
m
a^b?]JsfcBY\g£ehªj
-efgY\_jkehtb)sBYgi]jkpa^b?e3Y
m
b? bkYuh_¯XWBXY_`]²_^efb
m
a=giefYuf_a^b?eha^c
mm _^e3YX_a
m
_=Yj)XtB_`Xg
m
_`tC§M¨©_
m
gi_=³hWs-b)g£e3YYbj?sfsfigia`jYgib?e-X^§
´Sµ3¶&·\¸d¹ º4? X_`a m _^Y\X b?shj)a=g£YZW hehgY\_a=b?e3Y m b)
»¼®½¾K¿`À ½Á4Âi¾KÃÄ=Å
Æ8ÇZÈÇÉvÊÌËKÍÈÎϬÏkСÊÌÑHÇZÒEÓ^ÔÕ&Öh×BÖ4Ø`Ù5Ú`ÛÌÚ?ÜkÉϬÊHСݡÊHÉvÞß8àÑHͬàâáÕ®ã4ÆÚ¬ävåkÖãSËZÐ`СÏkÇZÊHÉ\ÑàâСáEæ£ÊÉvÞÇç߮СÊÌè
éê ÊÌàâË=ëì®ÉvÒСάÇZíî4àâÊHàâÈÉëæiÊ
ï
ÞEëÓ?ÇZÒ¬á¬ÉvÊHËZðçÔèî4àâϬàâÏÉvá)ëÝ¡ÒÉëϬí
ñ
ÉëÓ?СÊÌðçÔÈHðZè¡Ðß8Èè^àî4Þ+É\ÑÍ)ëάá¬àò?ëÝ¡ÒÉëϬí
ó
ì&ÇáСàÑëÕ®ÉvàâíâíôÉvάÒkî4àâÊÌàâÈKÉëæ£Ê
õ
å-ͬàâíâàâϬÏkÇ¡ëöÉvÊÌСá¬Ò¬ÇÉvÎkî4àâÊÌàâÈKÉëæ£Ê
Unité de recherche INRIA Rennes
Y\j?e3Ytfb?efe cfeXWBXY[^]J_ªt =Y\jkY\Xhefg cfe_^e-X_`]dfi_tb?-X_ m jY\_^c m Xshj m Ygi_^X
_^Ys-b)c m avuhj?a^cfet_`cB° cfe_^e-X_`]dfi_ m ^)cfig£_ m tf_Y m jkoZ_`a=Yb?gm _`X!tBcXWBXZY\[^]J_ªjksfs#_^ ªcfe2X_a m _=Y
ehb?chX+a^b?ehXgt m b?ehXj¤3cf_`XYgib?eXcfgi¬j?e3Y_£_Xb?hX_ m jY\_^c m Xs-_`cf?_`e)Y«g£X+X\j¬?b?gm ¤3cf_j!Y m joZ_`a=Yb)gm _
a^b?c m jke3Y\_EtfcXWBXY[^]J_j?sfshj m Ygi_^e3YpjJchetB_da=_X+X_`a m _=YvX©}+b)chX+avuf_ m avuhb?ehXa^b?ehXY m cfgm _cfea^b?e
Y m £_ m ^?ch£gi_ m tBcXWTXY[`]J_ a`jkshj?f£_tB_ s m bkY ^)_ m £_X5X_a m _=YvX5a=b?e3Y m _ tB_`Xb)hX_ m ¬jkY_`c m Xa^b?efehj?giX\X\jke3Y
a^_>a=b)e)Y m £_)§}pb?chX]!b)e3Y m b?ehX¤3cgi_=°BgXZY\_JYb)coZb?c m Xcfe a^b?e3Y m i_b?sfYgi]Jj?n]jkgXd¤3cg£e_`XYdshj?X
e `a=_XX\jkgm _^]J_^e3Y m ^?ch£gi_ m §O}pb?chXtBb?ehefb?ehXtB_`Xa=b)ehtBg£Ygib?ehXXcB±>X\jke3Y_Xs#b?c m £_¯a`jka=cftB_©a^b?e
Y m £_`c m XhefgXb?sBY\g£]j?cB°©s m bkY ^)_`jke3Yi_`XX_`a m _^Y\Xa=b)eha=c mm_^e3Y\X`§}pb?chXgiehtBg¤3cfb?e-X m g£[`?_^]J_`e)Yi_`X
j?sfsfigia`jY\g£b)ehX^§
¹ · X_`a m_^Y\X b?shj)a=g£Y a=b?e3Ym £_«hefg
8 =
uhgiXb m gXEjke©jkYY\_^]JsBYYbg£]Js#b mYEXcfs#_ m 3gXb m Wa^b?e3Y m b?4g£e3Y\bY\uf_!j m _jbka=b?]JsfcfY_ m X_`a^c m g£YZW?§
gi?_`e:jke0jkcBY\b?]jY\b?e b m sfjke3Y jkehtM?gi?_^eMXs#_`a=g£-a`jYgib?e-Xb?Yuf_¥tB_`Xgm _t-_`uhj¬Tg£b)c m b?Yuf_
shij?e)Y fr jk]j)tB?_jkeht¨©b)efuhj?] XYuh_^b m Ws m _`X_^e3Y_t>gieây! "! CWTgi_^tfXjhefg£Y_ ehb?ef£bBavTgief jke-t
]jk°Tgi]jkCs#_ m ]JgiX\Xg£)_a=b?e3Ym b)CbkYuh_sfjke3Yp_^efb m a=giefJYufgX+#_^u-j¬3gib?c m g£eªY\uf_efb m ]j?8a^j)X_uh_ m _
Y\uf_!cfefb?-X_ mjkh£_!_^)_^e3Y\Xj m _dcfe-a=b?e3Y mb)ij?f£_)§$#b?e3Y m b?ii_ m XWTe3Yuf_XgXgiXEjtB_`Xgm jkh£_!a=b?]Jsfi_^]J_`e)Y
Y\b]JbBtB_^avuf_av3gief b m gYjkiib+X+a=c m giefYuh_s m b?h£_`]JX+YuhjkYj]JbBtB_`4avuf_av?_ m a^j?eb?efiW m _`?_`j?H§
VBcfs-_ m TgXb mWa^b?e3Y m b?Bu-j?Xb)cfehtJjksfsh£ga^jkYgib?ehXgie]jkeTcBÌj?a=Yc m giefXWBXY_^]X gieJ_^]d#_`thtB_`tJXWTXY_`]X
j?eht]Jb m _!?_`ef_ m jki£WªgieX\j_^YZWa m gY\gia`jk5XWTXY_`]X^§¨_!_^_`5gYa=b)cfthe-t©j?sfsfigia`jYgib?e-X«j)X«_^i5gie
a^b?]JsfcBY\_
m
X_a=c
m
gYZW)§¯¨_Xuhj?£XZY
m
gi?_>uh_
m
_>Yb©sfcBY!b
m
j
m
t¥Xb?]J_>_`£_`]!_`e3Y\Xg£eXcfshs-b
m
Y!bkYuhgiX
Y\uf_`XgX^§
¨2g£Yu¢Y\uf_j?-b)_!)b)j?5g£e¢]Jgieht
_u-j¬?_X_j
m
avuf_`t©b
m
jSa=j?X\XEbk+X_`a=c
m
g£YZW¯s
m
b?h£_`]JXEigi?_^iW
Y\b¯#_tB_jk£Yg£Yuj?Xda^b?e3Y
m
b?s
m
b?fi_^]X`§¨©_]JbBtB_^ jke gie3Y_
m
j)a¡Ygi?_a=b?]JsfcfY_
m
XWBXY_`] j?eht¢g£Y\X
c-X_
m
X«j?Xj>a=ib)X_`tS_`e3Yg£YZWgieufgavuSY\uf_c-X_
m
Xpb?hX_
m
?_EY\uf_^g
m
beSg£e3Y_
m
j)a¡Y\g£b)ehX+g£Yu¯Yuf_!XWBXY_^]ª§
uh_Ja^£b3X_t_`e)Y\gYZW¯giX m _^s m _`X_^e3Y\_`tSg£Yu¢jhefg£Y_jkcBY\b?]jY\b?e©b?_ m Xb?]J_Jjkisfuhjk#_=Y$%«§ uf_XWTe
avu m b)efb?chX+g£e3Y_ m j)a¡Y\g£b)ehX+#_=YZ_^_`e_`j)avuchX_ m'& j?ehtªYuh_!XWBXZY\_^] j m _h)c m _tSTWYuf__^i_^]J_^e3Y\X«bkj
a^b m\m _Xs#b?e-tBg£ehXcfKj?£sfu-jk#_=Y'%)(+*,%.-ÌchX_ m Xn]j¬WXWTehavu m b?ehg0/`_+uf_^eYuf_`gm Xcfçjkisfuhj?-_^Y\Xg£e3Y_ m
X_`a=Y21=§3pXchjki£WgieSXchs-_ mTgXb m Wa=b)e3Ym b? Y\uf_a=b)e3Ym b?&b?BoZ_a¡Y\g£)_«gXj!s m _tBga^jY\_«b)eY\uf_ m cfehXbk4Yuf_
shij?e)Y Xs-_a=g£WTg£efXb)]!_a=b?]fgiehjY\g£b)eb?nXjk_=YZWj?ehtªig£)_^ef_XXps m b)s-_ m Y\g£_X jkehtY\uf_db)hX_ m )_ m X j?a¡Y
j)X«X_^e-Xb m X g§_)§Yuf_`WXcfshsf£WªgieBb m ]jY\g£b)ehXpb)eSYuh_!XY\jkYchX«bk5Y\uf_shij?e)Y chX_tTWYuf_Ja=b)e3Y m b?i£_ m
Y\bs mbBtBcha^_j?ej)tB_`¤3chjkY_«_^_`tfhj?av _^ehj?fig£ef!b m tBgXj?fig£ef!_^)_^e3Y\Xgie>Y\uf_Esfij?e3Y`§4+_ m _ Yuf_E)j?]J_
gXtBg05#_ m _`e3YYuh_b?hX_ m ?_ m Xj m _ehbkYb?eYuf_XgtB_Ebk4Yuf_a=b)e3Y m b?i£_ m hcBYYuf_`Wj m _EefbMb)sfs-b)ef_^e3YvX^§
6 X5b
m
Yuf_«a=b?e3Y
m
b)fb?BoZ_a¡Y\g£)_
Y\uf_
m
_gXXYgi£#jEÌjk]Jgi£W!bk&s
m
_`tBga^jkY_`X87
(
b)eY\uf_
m
cfehXnbk&Yuf_«XWBXY_^]
hcBYY\uf_Eg£e3Y\_
m s m
_^Y\jkYgib?egXj?)j?g£etfg95&_
m
_^e3Y5j?eb?-X_
m
)_
m&
Xufb?chitef_^)_
m
heht>b)cBYYuhjkYY\uf_j?a¡Y\chjk
Y m jkoZ_`a=Yb
m
WbkYuf_XWBXZY\_^] #_^ib?eh)XYb>X_`a
m
_^Y'7
(
uf_Euhj?X #_^_`eSj?X\Xgi?ef_t®§
:«ef_
m
_j?Xb?euTW _-_`£gi_^)_SYuh_¯]JbBtB_^X)_=Y\avuh_`tjk#b?_SgX>b
m
Yugie3)_`XYgi)jkYgief¢giX>YuhjkY
gie Y\uf_ªa^j?X_b?«jXgief?i_b)hX_
m
?_
m
gYJuhj)X!j?
m
_`j)tBW-_`_^e gie3Y
m
bBtBcha=_t giehtB_`s-_`ehtB_^e3Y\£W¢gie;q< +jke-t
XYc-tBg£_tSc m Yuh_ m g£e=< §¨2uhjkY_Ja^jki82 +uf_ m_j)X«a`jki£_tªYuh_ m _>2?A@CBDE? 2F<G2@H jki-_`gY
g£Yuij m)_ m Ìj?]Jg£ig£_XbkCs m _`tBga^jkY_XI-HX_^Y\Xbk m cfehX21j?ehtb)hX_ m jkYgib?eJcfeha=Ygib?ehX Tm _^_ m\m giefs#b)X\Xg£fiW
Y\bY\uf_-Ìg£efg£Ygjk b m j?XY`§i§£§J1wXY\jY\_`XbkY\uf_XWBXZY\_^] TgiXgY\_`t¢giej mcfe8§KKY!j)XdXufbe gieL< Y\uhjY
j?efb?eTWT]JgYZW©s m b?fi_^]Xdj?eht¥efb)egie3Y_ m_ m_`eha=_s m b?h£_`]JXd]j¬W©#_ m _`tBc-a=_`tY\bb?s-j?a=g£YZWs mb)fi_^]X
c-XgiefdXcfg£Y\jkh£_«b?hX_ m jYgib?eJcheha¡Y\g£b)ehX^§+KKY j)XXufbegifgitf_^] YuhjkY]JbBtB_`çavuf_`avTgiefjdXWBXZY\_^] b m
b)shj?a^gYZWgXcfehtf_`a=gtfj?f£_gieYuf_)_^ef_ m j?Ta`j?X_ uf_ m _j?eb)shj?¤3cf_ s m _`tfgia`jY_ ]j¬W m _=_ m Y\bYuf_TgXg£Y_t
XY\jkY_X b m g£Y«]j¬W-_dj?eTW m _`a^c m Xgi?_Es m _`tBga^jkY_b)eX_¤)ch_^eha^_`Xb?4Y m j?ehXgY\g£b)eSij?-_`iX`§}+b?eh_=Yuh_^i_`X\X
Y\_`avufehgi¤3cf_X-j?X_`tb)ejk-XZY m j)a¡Ygie3Y_ m s m _=YvjY\g£b)e>_ m _«s m b?s#b)X_`tgie! ®b m avuf_avTg£efb?shj)a=g£YZWJg£eYuf_
m jk]J_`b m JbkM-che3#b?chehtB_`t1 l _^Y m gCef_^Y\X`§
Kçe0YufgXshjks#_ m _©£gi]JgYSb?c m X_^i?_X>Y\btB_jkEg£YuM-efgY\_¢XZYvjY_¥XWTXY_`]Xj?ehtMg£Yu m _^?chij m
s m_tBgia`jY\_`X!tB_=heh_`t b)eX_`¤3cf_`eha=_Xb?+Y m jke-Xg£Ygib?e jk#_^X`§¢¨©_ªuhj¬)_>YuTchXJj?£a^j m thXdgie uhj?ehtfXYb
tf_`a=gtB_>b)shj?a^gYZW
_^?_`e¥Yufb)cf?u X_^)_
m
jkns-jkg
m
XONPCQ R! 2SE2 9Tj
m
_Xg£]cfYvjkef_`b?chXiWY\j??_`e¢g£e3Yb
j)a^a^b?cfe3Y`§ }+b tBg05#_
m
gief¢
m
b?]U!
_¯j?e)YYb #_©j?fi_Yb _^eBb
m
a^_b?shj)a=g£YZWTW2Xcfs-_
m
TgXb
m W
a^b?e3Y
m
b?uf_^eYuf_
m
_XchYbk5Yuh_tB_a=gXgib?egX«ef_^3jYgi?_)§'Kçeb?Yuf_
m
Y\_
m
]X
_j?e3YpYbtBgXj?f£_dYuf_
i_`j)XZYns#b)X\Xg£fi_ Ìjk]Jgi£Wbk&Y
m
joZ_a¡Y\b
m
g£_X4Xchavu!Yu-jYefbb)hX_
m
?_
m
a`jkeJ_^)_
m
he-tJb?cBY5Y\uhjYnY\uf_+XWTXY_`] X
j)a¡Y\chjkY
m
joZ_`a=Yb
m
W©-_`£b)ef)XdYbXb)]!_X_a
m
_=Y`§ 6 Y
m
XYXgi?u3Y
YufgXdgX!jXgi]Jsfi_s
m
b?h£_`]
j?£Yuf_
]Jb
m
_!uf_^e¥g£YgiXdj?X\Xcf]J_tY\uhjYjkin_`?_^e3YvXj
m
_a^b?e3Y
m
b?iij?fi_!j)XE_tBbªgie©Y\ufgXshjks#_
m
-Ì_Ji_`j¬)_
Y\uf_cfeha^b?e3Y
m
b?ijkfi_p_`?_^e3YvXYb!c
m
Yuf_
m
a=b)ehXgtB_
m
jkYgib?e1=§
uf_Es
m
b?h£_`] giX+g£eÌj?a=Y+efbkY Yu-jYpXg£]Jsfi_
b m Yuf_b)hX_ m ?_ m Xuhj¬?_cfiTefbi_`tB)_JbkY\uf_XWBXZY\_^] uf_`eha=_>j?eTW¯Xchs-_ m TgXb mWa^b?e3Y m b?5tB_`3ga=_
Y\uhjY]j¬W#_j)tftB_tªYbYuf_JXWBXY_`] gXpTefbeYb>Y\uf_^]ª§¨©_g£ief_^)_ m Yuf_`£_XX«Xuhb0Y\uhjY«Yuf_ m _
j?£ j¬WBX_^°TgXY\XJjkeb?sBY\g£]jka^b?e3Y m b?b m _^efb m a=giefY\uf_Sa=b?e-a=c m\m _`e3Y!X_`a m _=YvXdb)e b)sfs-b)ef_^e3YvX ch£iW
j¬ j m _!bkY\ufgXda=b)e3Y m b?§!¨_>gi£jkXbªs m bTgitB_Y_avufefg¤3cf_`XEb m a=b)]JsfcBYgiefYuhgiXdb?sBY\g£]jkna^b?e3Y m b?
chehtB_ m j)XXcf]JsBY\g£b)ehXYuhjkYpX_`_^] Y\bJfY+g£YuSXb)]J_Ej?sfsfigia`jY\g£b)ehX^§
uf_ m _`XYpbknY\uf_ds-jks#_ m giX«b m )j?efg0/`_`tSj)Xb?iib+X^§ uf_ehbkY\jkYgib?ej?ehtªYuh_s m b?h£_`] j m _dg£e3Y m b
tfcha=_tSg£eX_a¡Y\g£b)e¯B§VT_`a=Ygib?e Xufb+X+YuhjkYjcfefg¤)ch_db?sfYgi]Jj?4Xb?icBY\g£b)e¯jkij¬WBX_^°BgiXY\X fcBY«g£YEgiX
)_^ef_ m j?£iWefb?Y m _`?cfj m § r _`£WTgiefb?e!Y\uf_f°Bs#b?gie)Yavu-j m j?a¡Y\_ m g0/jY\g£b)ebk#Yuf_pb?sBY\g£]jk-a=b?e3Y mb) s m bTbkÌX
b?Yuf_!a=b?e3Y mb)C_^ehj?fi_`tBef_XX+bkY m joZ_a¡Yb m gi_`Xpj m _tB_=heh_`tj)Xg£efhefg£Y_Ym _`_`Xpg£e¯X_`a=Ygib?eSq jke-tSXs#_
a^g#aa=b?e-tBgY\g£b)ehX b?eªs m bTbkYm _^_`X+_^ehXc m g£ef!Y\uf_ m _`?cfj m g£YZWbk4Yuf_b)sBYgi]jk8a^b?e3Y m b?®j m _jkXbJXY\jkY_t
Y\uf_
m
_?§VT_`a=Ygib?e ys
m
bBtBc-a=_`Xda=b?ehef_`a=Y_`ta=b)ehtBg£Ygib?ehXb?e¢a=b)eha=c
m\m _^e3YEX_`a
m
_^Y\Xj?eht¥jcf£_=°fjk]Jsfi_?§
6 ]Jb
m _ m
_`j?£gXYgapjkshsf£ga^jkYgib?egiXgiehtBga^jY\_`tg£eªX_a¡Y\g£b)e "
uf_
m
__j?iXbXcf?)_`XYXb?]J_EtBg
m
_`a=Ygib?ehX
b
m
c
m
Yuf_
m
b
m
&§
J S 4 4 8 4! =#"
bS#_^?gie¥gY\u
£_^YdchXEh°©Y\uf_>efb?Y\jY\g£b)eC§>% gXdj -ehb?eK_^]JsBYZWA1«hefg£Y_jkisfuhjk#_=Y
%%$giXYuf_
m
_^_
]Jb)efb?gt¥?_`ef_
m
jY\_`tTW %
j?eht&('*)+H%%$ ,giXYuf_Ìjk]Jgi£WbkY\uf_
m
jY\g£b)ehjkXcfhX_=YvXb?'%%$>g§_)§SYuf_
Ìj?]Jg£iW¥bk+Y\uf_
m
_^)cfj
m
jkeh?chj??_`Xb?_
m
%«§-C_=Y/.10¥tf_^efb?Y_>Y\uf_ªa=b?e-a^jY\_^ehjkYgib?e¢s
m
bBtBcha=Y!b?+Yuf_
b
m
tfX.j?eht20
YuTchX.ªgX jds
m
_=h°Jb?.10jkeht>Yuf__^]JsBYZW>b
m
t/3gX jds
m
_=h°>bk8_`?_
m
WJb
m
tC§
uf_
i_^ehkYuSb?4.©giXptB_^efb?Y_tª3W5.65
b
m879 5.65
.6:
7<;
tB_`efbkY\_`X Y\uf_ds
m
_=h°bk.g£YuªY\uf_di_^ehkYu
7
jke-t
b m8=/>?79 5.5 .4+7, tB_`efbkY\_`X Y\uf_ 7<@BA £_^YY_ m bBa^a^c mm giefJg£eC.4§EDfb m jkeTWXcfKj?£sfu-jk#_=YI% ( * % i_=Y
F
(HG %%$(I %%$
(
#_Y\uf_dcfehgi¤3cf_]Jb)efb?gtª]Jb m sfufgX] _=°TY_`ehtBgiefY\uf_]jks
F ( +KJL,MNJ©g£EJO % ( _^X_
3 -Ì£_^YY\_ m X%JPO %j m _]jksfs#_`tYb!b m thXTWJY\uf_EchXc-jk&_^]-_tftBgiefJbk+%2g£e3Yb %%$Y1¡§QDhb m .R0SO %%$
i_=Y#.T ( 0>g£
F (+B.U,EM
F ( +<0V,¡§ u mb)cf?uhb?cBY Yuh_shjks#_ mXW giXpjehb?eK_^]JsBYZW>s m _^f° Ka^£b3X_tjkef)chjk)_
gieC&('*)+H%%$ , j?ehtb m jki & OZY*[*R \\ \]R_^6` % ( *,% 7 ( OC&a'b)+H%%$ , jkeht>7 ( * W §
uf_ij?ef?c-jk?_ W:m _`s m _`X_^e3Y\X Y\uf_d#_^u-j¬3gib?c m bkjXWBXY_^] g£Yu^¢c-X_ m X`§#Dfb mI& OcY*[dR\ \\]R_^6`
Y\uf_dXcfçjkisfuhj?-_^Y %)( m _`s m _`X_^e3Y\XY\uf_dX_=Ypb?Y\uf_gie)Y\_ m j?a=Ygib?ehXY\uhjYp]j¬WY\jk)_sfj?a=_#_=YZ_^_`eªYuf_
XWBXZY\_^] jke-t¢Yuh_chX_ m & § 3pX_ m Xdb)hX_ m ?_Y\uf_XWBXZY\_^] TW¢gie)Y\_ m j?a=Ygiefg£YugY§ KK+Yuf_ªXWTXY_`] X
Y m jkoZ_`a=Yb m WgX m _^s m _`X_^e3Y\_`tTWZefO Wp Y\uf_^e Yuf_>giehtBc-a=_`t b?hX_ m jYgib?eb m Yuf_chX_ m & giX
F
(+<ea,¡§
bdchX_ m X a^jkea=b)]!]cfefga^jkY_b?efiWTWEoZb?gie)Y\£Wgie3Y_ m j)a¡Ygief!gY\uY\uf_EXWBXY_^] hgji*gJZOO%)(Vk %QlgiX
j?e>gie)Y\_
m
j?a=Ygib?ebk®Y\uf_EXWBXY_^] g£YuY\uf_chX_
m X &
jkehtnm-§+KK8g£Y_^e3Ytfg95&_
m
_^e3YiW
YZbdchX_
m
Xng£YuYuf_
m
_`Xs#_`a¡Y\g£)_djkisfuhj?-_^Y\XE%)(j?eht %Qldb)cftªuhj¬?_Y\uf_X\jk]J_s#b_
m
b?nb?hX_
m
jY\g£b)eªj)Xpj>Xgief?i_dchX_
m
g£YuY\uf_jkisfuhj?-_^Y'%)(po>%Ql
jkehtYuf_`Wa^b?cftu-j¬?_E-_`_^e
m
_^sfj?a^_`t>g£YuY\uf_ijkYY\_
m §
Dhb m _j?avu & OqY*[*R \\ \UR_^6` Yuf_]J_`]d#_ m Xufgisªbk4Yuf_j)a¡Y\chjk8XWBXZY\_^] XYm joZ_`a=Yb m WY\bJYuf_XcfhX_=Y
7 ( * W giX«gie)Y\_^ehtf_`tYb-_?_`sBY 2 m b)] Y\uf_dchX_ mI& § KçeªYuf_dY_ m ]Jgiefb?ib?)Wbk q jkeht ! Yuf_
s m_tBgia`jY\_ 7 ( Xufb)cft#_ ?D@ BD§m §Y`§Y\uf_b?-X_ mjY\g£b)e>cfe-a¡Ygib?e
F ( jkehtjkef)chjk)_ W §
rµbs4t4u u̹1tv 7 ( Gb?shj)¤3cf_wEg gxg
F ( NP@F W T Gyn+{z1e|OO7(},]+K~eLO WP 7(,HeT (Ue
6 X_ _=°Bsfjkgief_tgieY\uf_ g£e3Y
m
bBtBcha=Ygib?e
_chX_uh_
m
_ jXY
m
b?ef)£W
m
_`XY
m
gia=Y_tb
m
]wbk-Yuf_b
m
gi?giehj?
tf_=hefg£Ygib?e¯uf_
m
_Yuh_b)hX_
m
jkYgib?ecfeha=Ygib?ehX«]j¬W#_XY\jkY_ KtB_`s-_`ehtB_`e)YEjkehtufgiXYb
m W çtB_^s#_^e-tB_^e3Y`§
:«eYuh_bkYuh_
m
uhj?eht
_a=b?e-XgtB_
m
jJa=b)eha=c
mm _^e3Y?_
m
Xg£b)eb?b?s-j?a=g£YZW?§
rµbs4t4u u̹1t
+ 7(},P( Gb)shj?¤3cf_wEg gxga+
F
(, ('GyQy @
&
S7 ( G ?D@ BD Eg g}g
F
(g
_`j?£gief!gY\ua=b)eha=c mm _^e3Yb)shj?a^gYZWtBbT_`Xefb?Y]jk)_«jfg£!avuhjkeh?_b m avuh_`avTg£ehb?shj)a=g£YZW ufgavu
gX_^°TY m _^]J_^iW©_j?XW¯gie b?c m a^j)X_>Xgieha=__a^b?eha^_ m e¥b?c m X_`£)_`X_^°fa=ichXgi?_`£W©gY\u m _^?chij m XWBXY_^]X
j?ehtX_a
m
_=Y\X`§
¹¹ u u̹1tv G F 2GF @CQ0S AD +7(, ('G 2?A@CBDnEg g}g(+
F
(},P(g
Y_yW>tB_=hehgY\g£b)e
g£YXcB±>a=_XYbJtB_`a^gitB_b
m
_j?avu
& O Y*[dR1R^6`uh_=Yuh_
m
7(4gXb)shj?¤3cf_§
m §Y`§
F ( § uf_+a^b?ehXgitf_ m _`ts mb)s-_ m YZWufb)ithX5g®jke-tdb)ef£Wdg
F ( +7 (,)*
F ( +Wn 7 (,¡§ 6 X W j?eht 7 ( j m _ m _^)cfj m
WC 7 ( giX m _^)cfj m j?ehtXg£e-a=_E]Jb m sfufgapgi]jk?_Xbk m _^)cfj m jkeh?chj??_`Xj m _ m _`?cfj m Y\ufgX m _`ijkYgib?eb?
gieha^£chXgib?eªa^jke#_tB_`a^gitB_t®§
µ v
)%|M Yh'1RR ` @< F W
QD I_y'? y < F! G +B'! ",#*g
8%%$M
%'&8MNY(` S+@F 0 7)$ @< F 7*& Q2 +A GH 2G<AEy W
WG+% $ 'M% $ @<F % $ % $ S+ ?D2GR<dg
, D 2< D+2 Q+7)$ R27-& , GE?D@ BDhg/. 10 D Q R<@< G< y D R!D)<SEG GFC2F
@ Q 0 H Ghy n AD GH @!)? 22F 2F WG @<' !WG @! g
:«c
m
sfc
m
s#b)X_pgXYbJXZY\chtBWY\uf_«_`eBb
m
a=_`]J_^e3Yb?8-Ìa^b?eha^c
m\m
_`e)Y15b)shj?a^gYZWJTW>Xchs-_
m
TgXb
m
WJa=b)e)Y
m
b)H§
gi?_`e W jkeht7(+* W -b m& OZY*[*RUR_^6`!14b)ef_+X_`j m avuf_X4b m Yuh_+ij m )_`XY5efb?eK_^]JsBYZWs m _=f° ça=ib)X_`t
XcfKjkef)chjk)_ W 3b? W Xc-avudY\uhjYYuh_giehtBc-a=_`t m _`XY m gia=Ygib?e2+7
(
,P(&b?+7(},P(®tf_=hef_t!gY\u 7
( M 7( k W
gXEb?s-j?¤3cf_!§m §Y§C+
F
(x, (jkeht W H§}pjY\c m jki£W W QM W uh_^e?+7(,P(gXEb?s-j?¤3cf_!§m §Y§+
F
(, (jkeht W §
eBb m a=giefa^b?eha^c m\m _`e)Yb?shj)a=g£YZWO-<^32 [ 1 m _`¤3cfgm _Xj)X_Xuhj?£&X_`_Xgi?efg£-a^j?e3YiW]Jb m __5&b m Y\XYuhj?e
_`eBb m a=gief>b)shj?a^gYZW)§«¨_Jj?X\Xcf]J_uf_ m _Y\uhjYjki_`?_`e)YvXJ O %/j m _da^b?e3Y m b?iij?fi__^)_^e3Y\X Yuf_ m _^b m _
_ªtBb©ehbkYg£]Js#b)X_j?eTW Xs#_`a^g-aa=b)ehXY m jkgie)Y!b?ej?tB]JgXXg£h£_-_`uhj¬Tg£b)c m Xdb?a=b)e3Y m b?i£_ m X GBggb)e
jkeh?chj??_`X W LO %%$k§5¨_£_j¬?_«Yuf_a^b?ehXgitf_ m jYgib?ebk4cfeha=b)e3Y m b?iij?f£__^)_^e3Y\XY\bJc m Yuf_ m XZY\chtBW?§
4 5 687
=6 6n4 9HE^ ;:J4 " 7
" " 6" ^8 <
dd 4 =: )==> 4 4 )v@?
KçeYuhgiX X_`a¡Y\g£b)e _Xufb2Y\uhjY Yuh_Ea^b?eha^c m\m _`e)Yb?shj)a=g£YZWa=b?e3Y m b)#s m b)f£_`] uhj?X jcfefg¤3cf_E]Jjk°Bg£]jk
Xb?icBY\g£b)e¯Y\uhjY_>avuhj m j?a=Y_ m g/^_Jj?Xjª m _jY_XZYf°Bs#b?gie)Y§>¨_>s m b?s#b)X_YZbSa=b)cfe3Y_ m K_=°fjk]Jsfi_`Xgie
uhgiavuYufgX ]j°Bg£]cf] s#_ m ]JgiX\Xgi?_Ea=b)e3Ym b?#_^g£Yuf_ m gX efb?Y m _^)cfj m b m a^jkehefbkY -_a^b?]JsfcBY\_`tgY\ufg£e
jhehgY\_e3ch]d#_ m bk4f°Bs#b?gie)Yg£Y_ m jkYgib?ehX`§
KçeYuh_ªX_`¤3cf_` BA M Y+ %%$R7)$ , RLRh+%'CUR27-C ,`¯tB_`efbkY\_`XJj¥a=b)eha=c m\m _^e3YJX_`a m _^Ycfs-b)ej©f°B_t
jkeh?chj??_ W * %%$ -H%)(M* %Ojkeht 7( * W * %%$b m jki & 1=§¨_JXj¬WYuhjkY A giXb)shj?¤3cf_g£a+7(K, (giX
b)shj?¤3cf_p§m §Y§%+
F
(},P(§ 6 a^b?e3Ym b?-giXjkeTW!efb?eK_^]JsBYZWJs m _=h° ça=ib)X_`t!jkef)chjk)_ W * W §4¨_X\j¬WdY\uhjY
A giX«b?shj)¤3cf_cfehtB_ m Y\uf_a^b?e3Y m b? W * W g£5Yuh_dgiehtBcha^_`tX_`a m_^Y +7
(
,P(tB_^hef_`tgY\u7
( M 7(Uk W
gX b?s-j?¤3cf_E§m §Y`§#+
F (, ( jkeht W ̧
rµbs4t4u
u̹1t
.< @<X? 0!2FODQ
W
Ey W S +AX\j_>)_
m
ef_^ y W
8Eg gxg +A 2
A S < @<G<c+
W
<R
A
,2S G +A0@ Ki 8? 0!2F 2DQ _y
W
ID +A@H.10cO +W
BR
A
,
+z
&
,+~. O W
7(},.T (U. g
uTchX A gX!b?shj)¤3cf_cfe-tB_ m Yuh_a^b?e3Y m b? W E* W gjkeht b?efiW¥g W #M +W BR A , GBghg W giX
jSf°Bs-b)g£e3Yb?c+RA ,¡§ KKYJgXdgi]J]!_tBgjY_`£W¥b)hX_ m )_`t©Yu-jY +W BR A ,gX]Jb)efbkY\b?efga>gie¢Yuh_> m XZY
j m )cf]J_^e3Y`§ 6 XYuh_«s m _=h° ça=ib)X_`tXcfhX_=YvXb? W b m ] jda^b?]Jsfi_=Y\_XcfKijkYY\gia^_pbk +H%%$ , gYb?i£b+X
m b?]Eehj?XY_ m j m XTgX5Y\uf_^b m _`] ôz CY\uhjYc+R A ,uhj?Xj! m _jY_XZY f°Bs#b?gie3Y gieYufgX+XcfKijkYY\gia^_?§
rµbs4t4u u̹1t /+W RA ,$Q2 +Aai @H 2FE?AGDM yE+A ?D @H c+R A , g
¹¹ u u̹1t
y/+
W R A
,M S+A G G D 0@CG0@?A 0$G2GR< D hy< Gbi +A
2?A@CG _y
A
S8<+A WG$ D 2< 2@< CG}g
Y_y ufgXgXj!tfgm _`a=Ypjksfsfiga^jY\g£b)eb?Y\uf_Eehj?XY_ m j m XTgXnf°Bs-b)g£e3YYuh_^b m _^]ª§
B tuKt v , A 2< F<GG< W * /+W RA ,IG 22@ pfcfYefbkYXcB±>a^g£_`e)Yy< ' 0' <! 0'?
2D W y 2 +A ?D@ GK y A g .< GD2@< 2S'G" @ 0'?10$#!S%/+ W RA ,M W S Q'+A
2 +7 $ G <)2?A@CBD Eg gxg W pM?3% c' c' dg
uf_ h°Ts#b?gie3Ynavuhj
m
j?a=Y_
m g/`jY\g£b)ebk-Yuf_b)sBYgi]jkfa^b?e3Y
m
b?T_^efb
m
a=gief«b)shj?a^gYZWtfb3_XefbkYnXufb Y\uhjY
/+
W RA
,da`jke¢#_a^b?]JsfcBY\_`t
ehb
m
Y\uhjYYuf_a=b)e)Y
m
b)a`jke #_gi]Jsf£_`]J_^e3Y_t g£Yu jhefg£Y_tf_^Tgia^_?§
¨2uh_^e ^ M [
GBgg©uf_`e
A
MfYb+H%%$ R7 $,`
YufgXdgXehbkY!jªs
m
b)f£_`] #_`a`jkchX_>gie¢YuhgiXdshj
m
Yga=cfj
m
a`j?X_ /+ W RA ,giXE_¤)c-jk4Yb&c+W R A ,jkeht¯gY]j¬WS#_JXufbe¯YuhjkYYuf_JjYY\_ m gXYuf_>X_=YEbkb m tfX
g£Yuªjki&s m _=f°B_`Xgie W k
F('
$
$ +W 7 $ ,¡§ uf_ m _=b m _ /+W R A ,EM %%$ +_+H%%$ +W k
F('
$
$ +WC 7 $ ,_,%%$,
uhgiavugiXpa=i_`j m iWj m _`?cfj m jkef)chjk)_Xg£e-a=_ W jkeht>7 $ j m_ m _^?chij m §¨2uf_`e^32[ YZb!Xg£YchjkYgib?ehX
a^b?e3Y m j?XY`§ uf_!efga=_JXg£Yc-jYgib?e©giXuf_`e)/+W R A ,«a`jke#_a=b)]!shcBY_tS m b?] W TWjhefg£Y_!eTcf]d#_ m
b?ngY\_ m jY\_`t¯j?sfsfigia`jY\g£b)ehX+b?nYuf_!b?s#_ m jY\b m +*VR A ,=§ KKYa^j?e¯j?a=Ychj?£iWª-_JXufbeSYu-jYEuf_^e W giX
m _^)cfj m XcfhX_=Ybk Wp Yuh_Xj?]J_ufb?tfXb m c+W BRA , uh_^eha^_>g£eY\uf_a=b)ehXgitB_ m _t¥a^j?X_/+ W RA ,giX
m _^)cfj m § uf_ m _`XYbk4Yuf_X_`a=Ygib?eg£i£c-XZY m jkY_`XY\uf_a=b)eT?_ m X_«XgY\chjY\g£b)eC§
+%,.- /10325468796;:<6>=<96?0@BAC4ED:<6FAG:!HI.J25@ACKLNMPOQSRT$I.4U=V:<25JW4YXZJIB=E6
-8_=Y$% M Y'1R RRP[XRP\bRP]`!j?eht©£_^Y
W
#_JYuf_Js
m
_=h° ça=ib)X_`t¯ij?ef?c-jk?_!j?a`a=_^sfY_`t©TWSYuh_-efgY\_>jkc
Y\b?]jY\b?e b?8D4g£-§£{ -uf_ m _jkiXY\jkY_`X!j m _j)a^a=_`sBYgiefXZYvjY_X1=§ _=-ef_ A M Yb+H%%$ R27)$,R+%'&*R7*&,`
g£YuL%%$CM Y(R!]` 7)$CM %%$ 'V]+% Y( `h,
$ -Y\ufgiXX_`a m _^Y!gXJXjk_g£ TW¢b)hX_ m Tgief¯b)efiW jke-t
] b?ef_Ja^j?efefbkYhehtb)cBYg£e¥jkeTW m cfe¯Y\uhjYEY\uf_Jij)XZYbBa^a^c mm _^e-a=_db?'j)Xs m _a=_tB_`t©TW'E]1 jke-t
%'&8MNY( R!\d` 7-&8M %%$^[\ 6+% Y `h,
$ -Y\ufgiXX_`a m _=YgiXXjk_pg£ TWJb?hX_ m Tg£ehb?efiW j?eht_\ b)ef_«a`jke
ehbkYnhe-tb?cBYg£e>j?eTW m cfeJYu-jYY\uf_pj?XYbBa^a^c m\m _`eha=_b? j)Xns m _`a^_`tB_tJ3W`[a\!1=§-C_=Y W $%MFc+W RA ,
#_!Yuf_J m XYij?ef?chj??__^eha^b?cfe3Y_ m _t¯gie©Yuf_ m _jY_XZYf°Bs#b?gie)Yg£Y_ m jkYgib?e©a^b?eT?_ m )g£eh>Ybb/+W RA ,
Y\uf_^e W $%M WC 'V]Y%%$ -Yuf_ m cfe'E] m _^?_jkXnY\uf_X_a m _=Y'7)$«jke-t>Y\uf_ m cfe-X g£e'V]3[ %%$ m _^)_`jk#efb?Yu
gief 1¡§ uf_+X_a=b)eht!gY\_^] W &8M +W $hR A ,5giXY\uf_jkef)chjk)_ W $ 'V]3[a\ Y% $ -m _^jYgi?_`£WYb W $ Y\uf_ m che
'V]3[a\ m _^?_jkXnY\uf_X_a m _=Y'7 & jkehtYuf_ m cfehX gie'V]3[a\ '%%$ m _^)_`jk&efb?Yufgief 1¡§
6 Y\_ m 'V]pj?eht'E]3[a\