25 Years - AVISPA: Specification and Verification of Interactive Multimedia Systems

Transcript

1. €İØÎôŪγĿôėĐ̒³ĐÔ̒ ØijôŪγĿôėĐ̒ėë̒ AĐĿØij³ÎĿôŗØ̒XńĈĿôĎØÔô³̒€ŞķĿØĎķ N³ôĎØ̒
   ijô³ķ Z|€˞̒RAyZ˞̒ĐôŗØijķôĿÙ̒€ėijÍėĐĐØ̒y³ijôķ̒ZėijÔ
   A€y
   ˟̒˂˅̒§Ø³ijķ ˃ˀ̒ZėŗØĎÍØij̒˂ˀ˂ˀ
2. >ØĈĈėˢ A̒³Ď̒N³ôĎØ̒
   ijô³ķ Z|€̒|ØķسijÎñ̒&ĐìôĐØØij̒̾̒RAyZ §ėń̒γĐ̒ŪĐÔ̒ĎØ̒³Ŀ˟̒ ̒̒̒̒̒̒̒³ijô³ķ̾ĈôİĐ˝ëij ̒̒̒̒̒̒̒ā³ôĎØ˴³ijô³ķ˝ëij Ϭ
3. €Ŀ³ĿôÎ̒€ÎėijØ Ϯ ÷ŴŢÕůěŀǾеůüķşŀŢÕǶñŀĸŨůŢÕěĸȵ şŢüñü÷üĸñǃŢüİÕůěŀĸŨĘěȥ ķŴİůěķü÷ěƝñŀĸůüĸȵ ĒŢŀŴȥ ñŀĸñŴŢŢüĸñɖ ϭ ˨̒
   ̒IJń³ijĿØij̒ĐėĿØ̒ĿijôİĈØĿ̒ÎėĐķôķĿķ̒ėë̒ĿñijØØ˴IJń³ijĿØij̒ĐėĿØķ̒ėŗØij̒ĿñØ̒ķ³ĎØ̒³ĎėńĐĿ̒ėë̒ĿôĎØ̒³ķ̒ĿŘė˴IJń³ijĿØij̒ĐėĿØķ̒ėij̒³̒ķôĐìĈØ̒ñ³Ĉë̒ĐėĿØ˝̒ ůěķǃ
4. AĐĿØij³ÎĿôŗØ̒€ÎėijØķ ϯ 䖂 yėķķôÍôĈôĿŞ̒ Ŀė̒ ôĐūńØĐÎØ̒ ĿñØ̒ ØŝØÎńĿôėĐ̒ ÍŞ̒ ĿijôììØijôĐì̒ôĐĿØij³ÎĿôŗØ̒İėôĐĿķ̒ˮAyķ˯ 䖂 Ayķ̒³ijØ̒ÔØŪĐØÔ̒ÍŞ̒ĿñØ̒ÎėĎİėķØij̒ÔńijôĐì̒ĿñØ̒ ÎėĎİėķôĿôėĐ̒ 䖂
   ìėìôÎ̒ĎėÔôŪγĿôėĐķ̒ˮô˝Ø˝̒ĿñØ̒İėķķôÍôĈôĿŞ̒Ŀė̒ Îñ³ĐìØ̒ ĿñØ̒ ķĿ³ijĿ̒ ³ĐÔ̒ ķĿėİ̒ ĿôĎØķ̒ ėë̒ ØĈØĎØĐĿķ̒ÔńijôĐì̒ØŝØÎńĿôėĐ˯ 䖂
   ̒İØijëėijĎ³ĐÎØ̒ÎėĐķĿôĿńĿØķ̒³Đ̒ôĐķĿ³ĐÎØ̒ėë̒ ³̒ŪĐôĿØ̒ķØĿ̒ėë̒İėķķôÍĈØ̒ķÎØĐ³ijôėķ̒Ŀñ³Ŀ̒ķñ³ijØ̒ ĿñØ̒ķ³ĎØ̒ĿØĎİėij³Ĉ̒İijėİØijĿôØķ ,QVWDOODWLRQ'<(: $XWKRU'MHII KWWSV GMHIIFRPSRUWIROLRG\HZ
5. AĐĿØij³ÎĿôŗØ̒€ÎėijØķ ϰ ėķķô³˴ķÎėijØ̒˴̒ñĿĿİķ˟˫˫ėķķô³˝ôė IOH[LEOHGXUDWLRQ FRQVWDQWGXUDWLRQ LQWHUDFWLRQ ORRS FRQGLWLRQDOV KLHUDUFKLFDO VWUXFWXUH FRQWHQW 'ER[IWIIMXEWE'74#
6. AĐĿØij³ÎĿôŗØ̒€ÎėijØķ ϱ
7. AĐĿØij³ÎĿôŗØ̒€ÎėijØķ ϲ 䖂 ˆñØ̒ńĐÔØijĈŞôĐì̒ĎėÔØĈ̒ėë̒ėķķô³˴ķÎėijØ̒ÔėØķ̒ĐėĿ̒ķńİİėijĿ˟ ż 8ĈØŝôÍĈØ̒ÎėĐĿijėĈ̒ķĿijńÎĿńijØ̒ˮØ˝ì˝̒ÎėĐÔôĿôėĐ³Ĉķ˞̒Ĉėėİķ˯ ż XØÎñ³ĐôķĎķ̒ëėij̒ĿñØ̒³ńĿėĎ³ĿØÔ̒ŗØijôŪγĿôėĐ 䖂 €ØŗØij³Ĉ̒ijØķسijÎñØijķ̒ñ³ŗØ̒Ď³ÔØ̒Ď³ĐŞ̒ØëëėijĿķ̒Ŀė̒ėŗØijÎėĎØ̒ĿñØķØ̒ĈôĎôĿ³ĿôėĐķ˟ ż yØĿijô̒ZØĿķ˟̒
   ĈĈėĎÍØijĿ̒ØĿ̒³Ĉ˝̒ˮ˂ˀˀˉ˯˞̒
   ijô³ķ̒ØĿ̒³Ĉ˝̒ˮ˂ˀˁ˄˯ ż yijėÎØķķ̒³ĈÎńĈô˟̒`Ĉ³ijĿØ̒ØĿ̒³Ĉ˝̒ˮ˂ˀˀˉ˯˞̒ˆėijė̒ØĿ̒³Ĉ˝̒ˮ˂ˀˁ˄˯ ż |سÎĿôŗØ̒yijėìij³ĎĎôĐì˟̒
   ijô³ķ̒ØĿ̒³Ĉ˝̒ˮ˂ˀˁ˄˯ ż €&RR˟̒
   ijô³ķ̒ØĿ̒³Ĉ˝̒ˮ˂ˀˁ˅˯ ż ˆôĎØÔ̒
   ńĿėĎ³Ŀ³˟̒
   ijô³ķ̒ØĿ̒³Ĉ˝̒ˮ˂ˀˁˆ˯ ÍńĿ̒ ĿñØijØ̒ ³ijØ̒ Đė̒ İij³ÎĿôγĈ̒ ķėĈńĿôėĐķ̒ ëėij̒ ĿñØ̒ ³ńĿėĎ³ĿôÎ̒ ŗØijôŪγĿôėĐ̒ ³ĐÔ̒ ijسĈ˴ĿôĎØ̒ İØijëėijĎ³ĐÎØ˞̒³ĐÔ̒ĿñØ̒ĎėÔØĈķ̒γĐĐėĿ̒ÍØ̒ķĿij³ôìñĿëėijŘ³ijÔĈŞ̒ôĎİĈØĎØĐĿØÔ̒ėij̒ØŝĿØĐÔØÔ˝ 0SSOEXLS[QER]KIRIVEXMSRW SJ%:-74%LEZIFIIRMRZSPZIH QHYHUVHQGDKXPDQWRGRD PDFKLQH VMRE
8. AĐ̒Ŀñôķ̒Ŀ³Ĉą̒˝˝˝ ¡Ø̒ ŘôĈĈ̒ İijØķØĐĿ̒ ³̒ ëėijĎ³Ĉ̒ ĎėÔØĈ̒ ëėij̒ ĿñØ̒ ķİØÎôŪγĿôėĐ̒ ³ĐÔ̒ ³ńĿėĎ³ĿØÔ̒ ŗØijôŪγĿôėĐ̒ ėë̒ ĎńĈĿôĎØÔô³̒ ôĐĿØij³ÎĿôŗØ̒ ķÎØĐ³ijôėķ̒ ŘôĿñ̒ ôĐĿØij³ÎĿôŗØ̒ÎñėôÎØķ˝ ϳ
9. `ńĿĈôĐØ ϫϪ ėķķô³˴ķÎėijØ̒ķÎØĐ³ijôė A€˂yy
   
   R yy
   
   R̒ĎėÔØĈ yijėİØijĿŞ ñØÎąôĐì ˝˝˝ yy˂ yy˂>"R ˫̥̥̒ėÔØ >"R˫€ŞķĿØĎ̒ ØijôĈėì ėÔØ &RPSRVLWLRQ 9HULILFDWLRQ ,QWHUSUHWDWLRQ
10. ˁ˝ ėĎİėķôĿôėĐ ϫϫ
11. ˆôĎØÔ̒
    ńĿėĎ³Ŀ³ 䖂
    ̒ĿôĎØÔ̒³ńĿėĎ³ĿėĐ̒ôķ̒³̒ŪĐôĿØ˴ķĿ³ĿØ̒Ď³ÎñôĐØ̒ØIJńôİİØÔ̒ŘôĿñ̒ÎĈėÎąķ̒ˮô˝Ø˝̒ijسĈ˴ŗ³ĈńØÔ̒ŗ³ijô³ÍĈØķ˯˝ 䖂 XėÔØĈôĐì̒İij³ÎĿôγĈ̒ķŞķĿØĎķ̒ėëĿØĐ̒ijØIJńôijØķ̒ĎėÔØĈôĐì̒ëسĿńijØķ̒ˮØ˝ì˝̒ݳij³ĈĈØĈ̒ÎėĎİėķôĿôėĐ˞̒ńijìØĐÎŞ˞̒ ³ĿėĎôÎôĿŞ˯̒Ŀė̒γİĿńijØ̒³̒ŗ³ijôØĿŞ̒ėë̒ķŞķĿØĎ̒ëسĿńijØķ˝̒ 䖂 yy
    
    R̒ĎėÔØĈôĐì̒Ĉ³Đìń³ìØ̒ñ³ķ̒ÍØØĐ̒ńķØÔ̒Ŀė̒ĎėÔØĈ̒³ĐÔ̒³Đ³ĈŞŦØ̒Ď³ĐŞ̒ijسĈ˴ĿôĎØ̒ķŞķĿØĎķ˝ ϫϬ MHPI TVITEVICXIE TVITEVICGSȅII PÔÓ½ PÔÓ½ PÓ½‡PA=Œ‡¤IÓ»¥ PÓ½‡?KBBAAŒ‡¤IÓ»¥ IÕÓÀ»‡CAP­PA=Ž‡¤PÓ»¥ IÕÓ¼»»‡CAP­?KBBAAŽ‡¤PÓ»¥ PNQA‡EJOANPŽ‡¤IÓCAPKJAU I‡?KEJ¡¥
12. ˆôĎØÔ̒
    ńĿėĎ³Ŀ³ ϫϭ 䖂 ˆôĎØÔ̒
    ńĿėĎ³Ŀ³̒ ñ³ķ̒ ÍØØĐ̒ ńķØÔ̒ ķńÎÎØķķëńĈĈŞ̒ Ŀė̒ ĎėÔØĈ̒ ³ĐÔ̒ ŗØijôëŞ̒ ĿôĎØ˴ÎijôĿôγĈ̒ ķŞķĿØĎķ̒ ˮØ˝ì˝̒ ĎńĈĿôĎØÔô³̒ ³İİĈôγĿôėĐķ˯ ż &ÎñØŗØķĿØ̒ØĿ˝̒³Ĉ̒ˮ˂ˀˁ˃˯ ż yėĐÎØĈØĿ̒³ĐÔ̒N³ÎIJńØĎ³ijÔ̒ˮ˂ˀˁ˅˯̒ 䖂 AÔس˟̒ ż XėÔØĈ̒ ôĐĿØij³ÎĿôŗØ̒ ķÎØĐ³ijôėķ̒ ³ķ̒ ³̒ ĐØĿŘėiją̒ėë̒ĿôĎØÔ̒³ńĿėĎ³Ŀ³ ż &³Îñ̒ ėķķô³˴ķÎėijØ̒ ØĈØĎØĐĿ̒ ôķ̒ ³̒ ĿôĎØÔ̒³ńĿėĎ³ĿėĐ̒ˮØ˝ì˝̒ôĐĿØij³ÎĿôėĐ˯ ż ķØ̒ yy
    
    R̒ Ŀė̒ ķôĎńĈ³ĿØ̒ ³ĐÔ̒ ŗØijôëŞ̒ĿñØ̒ŘijôĿĿØĐ̒ķÎØĐ³ijôėķ ͂̒³ĐĿØķÎėëė˴ÔėνôijÎ³Ď˝ëij
13. ˆôĎØÔ̒
    ńĿėĎ³Ŀ³̒XėÔØĈ ėĐķĿ³ĐĿ̒ˆØĎİėij³Ĉ̒|ØĈ³ĿôėĐ ϫϮ PÕÓ»‡OP=NPŽ‡¤PÓ»¥ MHPI [EMX PNQA‡GEHH­LŽ‡¤¥ PNQA‡GEHH­LŽ‡¤¥ OMȈIH   ȆRMWLIH PNQA‡AJ@Œ‡¤PÓ»¥ PNQA‡OGELŒ‡¤PÓ»¥ PÓIEJ‡IEJ­KGŒ‡¤¥ PNQA‡OGEL­LŽ‡¤¥ WOMTTIH PNQA‡GEHHŒ‡¤PÓ»¥ PÔÓ@QN=PEKJ º W ŗ³ijô³ÍĈØķ˟̒Ôńij³ĿôėĐ Îñ³ĐĐØĈķ˟̒ķĿ³ijĿ˞̒ķąôİ˹İ˞̒ķąôİ˞̒ąôĈĈ˹İ˞̒ąôĈĈ˞̒ĎôĐ˹ėą˞̒ØĐÔ
14. ˆôĎØÔ̒
    ńĿėĎ³Ŀ³̒XėÔØĈ XńĈĿôĎØÔô³̒yijėÎØķķ ϫϯ ŗ³ijô³ÍĈØķ˟̒Ďİ˞̒ĈôĎôĿ˞̒Ô³Ŀ³ Îñ³ĐĐØĈķ˟̒ķĿ³ijĿ˞̒ķĿėİ˹İ˞̒ķąôİ˹İ˞̒ąôĈĈ˹İ˞̒ķØĐÔ̒ W L MHPI WIRHMRK PÔÓIL¢E£ŠKBBOAP ȆRMWLIH PÕÓ»‡OP=NPŽ‡¤PÓ»‡EÓ»¥ PNQA‡GEHH­LŽ‡¤PÓ»¥ PNQA‡OGEL­LŽ‡¤PÓ»¥ PNQA‡GEHH­LŽ‡¤PÓ»¥ PNQA‡OPKL­LŽ‡¤PÓ»¥ PÓI L¢E£ŠKBBOAP᷷EÓHEI EP‡OAJ@Œ‡ ¤@=P=ÓI L¢E£ŠR=HQA‡PÓ»¥ PÓIL¢E£ŠKBBOAP᷷EÔHEIEP‡OAJ@Œ‡ ¤@=P=ÓIL¢E£ŠR=HQA‡EÏχPÓ»¥ 'ER[IWIIEWGIREVMSEWE 1YPXM%KIRX7]WXIQ#
15. ˂˝ ØijôŪγĿôėĐ ϫϰ
16. XėÔØĈ̒ñØÎąôĐì ϫϱ 䖂 AĐ̒³̒ĐńĿķñØĈĈ˞̒ôĿ̒ÎñØÎąķ̒ŘñØĿñØij̒ėij̒ĐėĿ̒³̒ĿØĎİėij³Ĉ̒ëėijĎńĈ³̒ôķ̒ŗ³ĈôÔ̒ėĐ̒³̒ĎėÔØĈ̒ijØİijØķØĐĿôĐì̒³ĈĈ̒ĿñØ̒ İėķķôÍĈØķ̒ÎėĎİńĿ³ĿôėĐķ̒ėë̒ĿñØ̒ķŞķĿØĎ˝ 䖂 yy
    
    R̒ńķØķ̒³̒ķńÍķØĿ̒ėë̒ĿñØ̒ˆôĎØÔ̒ėĎİńĿ³ĿôėĐ̒ˆijØØ̒RėìôÎ̒ˮˆˆR˯̒ëėij̒ĿñØ̒ķİØÎôŪγĿôėĐ̒ėë̒ İijėİØijĿôØķ˝̒ 䖂 ˆñØ̒ķØĎ³ĐĿôÎķ̒ėë̒ˆˆR̒ôķ̒ÔØŪĐØÔ̒ėŗØij̒ĿñØ̒ôĐŪĐôĿØ̒ĿijØØ̒ÎėĐĿ³ôĐôĐì̒ĿñØ̒ķĿ³ĿØķ̒³ĐÔ̒Ŀij³ĐķôĿôėĐķ̒ėë̒ ĿñØ̒ńĐëėĈÔØÔ̒Ŀij³ĐķôĿôėĐ̒ķŞķĿØĎ̒ėë̒³̒ˆôĎØÔ̒
    ńĿėĎ³Ŀ³̒ĐØĿŘėiją˝̒ ˨̒̒
    Ĉńij˞̒|˝˞̒ėńijÎėńÍØĿôķ˞̒˝˞̒̿̒"ôĈĈ˞̒"˝̒R˝̒ˮˁˉˉˀ˯˝̒XėÔØĈ˴ñØÎąôĐì̒ëėij̒|سĈ˴ˆôĎØ̒€ŞķĿØĎķ˝̒AĐ̒RA€˞̒ˁˉˉˀ̒ˮİİ˝̒˄ˁ˄˶˄˂˅˯˝̒Ôėô˟̒ˁˀ˝ˁˁˀˉ˫RA€˝ˁˉˉˀ˝ˁˁ˃ˇˆˆ $>@ SUHSDUHBWHD__SUHSDUHBFRIIHH UYERXMJ]SZIVTEXLWSVXVEGIWSJXLIQSHIP GLIGOIHPSGEȈ]SREWXEXI
17. XėÔØĈ̒ñØÎąôĐì €ėĎØ̒ôĎİėijĿ³ĐĿ̒İijėİØijĿôØķ̒³ijØ˟ 䖂 ¡ôĈĈ̒ĿñØ̒ķÎØĐ³ijôė̒ŪĐôķñˤ ż $!6FHQDULRILQLVKHG 䖂
    ijØ̒³ĈĈ̒ĿØĎİėij³Ĉ̒ijØĈ³ĿôėĐķ̒³ĈŘ³Şķ̒ķ³ĿôķŪØÔˤ ż $>@&RQWUROHUURU 䖂 Aķ̒³̒ĎńĈĿôĎØÔô³̒ijØķėńijÎØ̒ńķØÔ̒ÍŞ̒ĿŘė̒ėij̒ĎėijØ̒İijėÎØķķ̒³Ŀ̒ĿñØ̒ķ³ĎØ̒ĿôĎØˤ ż $>@ UHVRXUFHBRQHZDLW__UHVRXUFHBWZRZDLW ϫϲ -X WRSXZIV]EVXMWXJVMIRHP]
18. XėÔØĈ̒ñØÎąôĐì ϫϳ ˨̒̒ØĐÎñĎ³iją̒ķŞķĿØĎ˟̒ˆ˄˴ÍôĿ̒9Z˫RôĐńŝ̒ÔôķĿijôÍńĿôėĐ̒ŘôĿñ̒ˆ˄˴ÍôĿ̒yy
    
    R˞̒³̒ėijØ˴ôˇ̒˂ˆˀˀą̒AĐĿØĈ̒İijėÎØķķėij˞̒³ĐÔ̒ˁˆ9̒ėë̒|
    X
19. ˄˝ ėĐÎĈńÔôĐì̒|ØĎ³ijąķ ϬϪ
20. `ŗØijŗôØŘ Ϭϫ 䖂 ¡Ø̒İijėİėķØÔ̒³̒ëij³ĎØŘėiją̒ëėij̒ĿñØ̒ķİØÎôŪγĿôėĐ˞̒ŗØijôŪγĿôėĐ̒³ĐÔ̒ØŝØÎńĿôėĐ̒ėë̒ôĐĿØij³ÎĿôŗØ̒ ķÎØĐ³ijôėķ˝ 䖂 &ŝĿØĐķôėĐ̒ėë̒ôĐĿØij³ÎĿôŗØ̒ķÎØĐ³ijôėķ̒ŘôĿñ̒ìń³ijÔØÔ̒ôĐĿØij³ÎĿôėĐ̒İėôĐĿķ 䖂 ØijôŪγĿôėĐ̒ėë̒ķÎØĐ³ijôėķ̒ńķôĐì̒Ď³ĿńijØ̒³ĐÔ̒ijėÍńķĿ̒ĿėėĈķ̒ˮô˝Ø˝̒yy
    
    R˯ 䖂 ØijôŪγĿôėĐ̒ėë̒ķėĎØ̒ôĎİėijĿ³ĐĿ̒İijėİØijĿôØķ̒ëėij̒ĎńĈĿôĎØÔô³̒ôĐķĿ³ĈĈ³ĿôėĐķ 䖂 ˆñØ̒İijėİėķØÔ̒³İİijė³Îñ̒ôķ̒³̒İĈńìôĐ̒ëėij̒ėķķô³˴ķÎėijØ̒ŗ˝̒ˁ˝ˀ˝ˀ ż ñĿĿİķ˟˫˫ìôĿñńÍ˝ÎėĎ˫ėķķô³˫ôķÎėijØ˴³ÔÔėĐ˴ķĿ³ĿôÎ³Đ³ĈŞķôķ 䖂 ˆñØ̒ķŞĐĿñØķôķ̒ėë̒ķÎØĐ³ijôėķ̒ôĐĿė̒ijØÎėĐŪìńij³ÍĈØ̒ñ³ijÔŘ³ijØ̒ˮ8y9
    ˯̒ôķ̒İėķķôÍĈØ
21. 8ńĿńijØ̒¡ėiją ϬϬ 䖂 `İĿôĎôŦ³ĿôėĐ˫ijØÔńÎĿôėĐ̒ėë̒ĿôĎØÔ̒³ńĿėĎ³Ŀ³̒ĎėÔØĈķ 䖂 &ŝĿØĐķôėĐ̒ėë̒ĿñØ̒ˆôĎØÔ̒
    ńĿėĎ³Ŀ³̒ĎėÔØĈ̒ŘôĿñ˟ ż
    ̒ÎėñØijØĐĿ̒ĎėÔØĈ̒ëėij̒Ĉėėİķ ż ZėĿôėĐķ̒ëėij̒ôĎİijėŗôķ³ĿôėĐ̒˴̒ X`˴€ÎėijØ 䖂 €ĿńÔŞ̒ėë̒ėĿñØij̒ŗØijôŪγĿôėĐ̒³ĐÔ̒ŗ³ĈôÔ³ĿôėĐ̒ĿØÎñĐôIJńØķ˞̒ķńÎñ̒ ³ķ̒XėÔØĈ˴³ķØÔ̒ˆØķĿôĐì̒³ĐÔ̒ì³ĎØ̒ķØĎ³ĐĿôÎķ 䖂 >³ĐÔĈØ̒ ôĐĿØij³ÎĿôŗØ̒ ķÎØĐ³ijôėķ̒ ³ķ̒ XńĈĿô˴
    ìØĐĿķ̒ €ŞķĿØĎķ̒ ˮX
    €˯ 䖂 XėÔØĈĈôĐì̒ĎńĈĿôĎØÔô³̒ķÎØĐ³ijôėķ̒³ķ̒³̒€y 䖂 "ØŪĐôĿôėĐ̒ ėë̒ ³̒ ëijôØĐÔĈŞ̒ Ĉ³Đìń³ìØ̒ ëėij̒ ĿñØ̒ ķİØÎôŪγĿôėĐ̒ ėë̒ İijėİØijĿôØķ ˨̒AĎİijėŗôķ³ĿôėĐ̒ķØķķôėĐ̒ŘôĿñ̒N³ôĎØ̒
    ijô³ķ˞̒€ñĈėĎė̒"ńÍĐėŗ̒³ĐÔ̒&ĿôØĐĐØ̒|ėĈôĐ̒³Ŀ̒R
    |A˞̒ėijÔسńŝ˞̒ķńĎĎØij̒˂ˀˁˆ˝
    ĐÔ̒ĎėijØ̒ˡ̒³Ĉķė̒ôĐ̒ėĿñØij̒ķńÍāØÎĿķ̒˝˝˝
22. €ėĎØ̒
    A€y
    ̒€ĿńÔØĐĿķ Ϭϭ X³ijô³̒y³ńĈ³̒³ijijØijė AĐĿØijĐķñôİ˞̒RAyZ ĐÔØijìij³Ôń³ĿØ̒ĿñØķôķ˞̒yN˫RAyZ 9ô³ĐĐ̒P³ijĈė̒
    ìńôijijØ AĐĿØijĐķñôİ˞̒RAyZ yñ˝"̒€ĿńÔØĐĿ˞̒&Z€̒y³ijôķ˴€³ÎĈ³Ş
23. |ØëØijØĐÎØķ ϬϮ 䖂
    ĈĈėĎÍØijĿ˞̒
    ˝̒ˮ˂ˀˀˉ˯˝̒
    ķİØÎĿķ̒ˆØĎİėijØĈķ̒ỒńĐ̒€ŞķĿåĎØ̒ÔØ̒y³ijĿôĿôėĐķ̒XńķôγĈØķ̒AĐĿØij³ÎĿôŗØķ̒İėńij̒Ĉ³̒ėĎİėķôĿôėĐ̒ØĿ̒ Ĉ̀&ŝÙÎńĿôėĐ̒ˮ"ėÎĿėij³Ĉ̒ÔôķķØijĿ³ĿôėĐ˞̒ĐôŗØijķôĿÙ̒ÔØ̒ėijÔسńŝ˯˝ 䖂
    Ĉńij˞̒|˝˞̒ėńijÎėńÍØĿôķ˞̒˝˞̒̿̒"ôĈĈ˞̒"˝̒R˝̒ˮˁˉˉˀ˯˝̒XėÔØĈ˴ñØÎąôĐì̒ëėij̒|سĈ˴ˆôĎØ̒€ŞķĿØĎķ˝̒AĐ̒˅Ŀñ̒³ĐĐń³Ĉ̒ķŞĎİėķôńĎ̒ėĐ̒ ĈėìôÎ̒ôĐ̒ÎėĎİńĿØij̒ķÎôØĐÎØ̒ˮRA€̒̀ˉˀ˯˞̒ˁˉˉˀ̒ˮİİ˝̒˄ˁ˄˶˄˂˅˯˝̒A&&&̒ėĎİńĿØij̒€ėÎôØĿŞ˝̒ 䖂
    Ĉńij˞̒|˝˞̒̿̒"ôĈĈ˞̒"˝̒R˝̒ˮˁˉˉ˄˯˝̒
    ̒ĿñØėijŞ̒ėë̒ĿôĎØÔ̒³ńĿėĎ³Ŀ³˝̒ˆñØėijØĿôγĈ̒ėĎİńĿØij̒€ÎôØĐÎØ˞̒ˁ˂ˆˮ˂˯˞̒ˁˈ˃˶˂˃˅˝̒ 䖂
    ijô³ķ˞̒ N˝˞̒ ØĈØijôØij˞̒ N˝˴X˝˞̒ ̿̒ "Øķ³ôĐĿØ˴³ĿñØijôĐØ˞̒ X˝̒ ˮ˂ˀˁˇ˯˝̒
    ńĿñėijôĐì̒ ³ĐÔ̒ ³ńĿėĎ³ĿôÎ̒ ŗØijôŪγĿôėĐ̒ ėë̒ ôĐĿØij³ÎĿôŗØ̒ ĎńĈĿôĎØÔô³̒ķÎėijØķ˝̒NėńijĐ³Ĉ̒ėë̒ZØŘ̒XńķôÎ̒|ØķسijÎñ˞̒˄ˆˮˁ˯˞̒ˁ˅䇳˃˃˝̒ 䖂 &ÎñØŗØķĿØ˞̒N˝˞̒ėĐĿ˞̒
    ˝˞̒9ô³ŗôĿĿė˞̒N˝˴R˝˞̒̿̒N³ÎIJńØĎ³ijÔ˞̒8˝̒ˮ˂ˀˁ˃˯˝̒`İØij³ĿôėĐ³Ĉ̒ķØĎ³ĐĿôÎķ̒ėë̒³̒ÔėĎ³ôĐ̒ķİØÎôŪÎ̒Ĉ³Đìń³ìØ̒ëėij̒ ijسĈ̒ĿôĎØ̒ĎńķôÎô³Đ˶ÎėĎİńĿØij̒ôĐĿØij³ÎĿôėĐ˝̒"ôķÎijØĿØ̒&ŗØĐĿ̒"ŞĐ³ĎôÎ̒€ŞķĿØĎķ˞̒˂˃ˮ˄˯˞̒˃˄˃˶˃ˈ˃˝ 䖂 `Ĉ³ijĿØ˞̒ ˝˞̒ ̿̒ |ńØÔ³˞̒ ˝̒ ˮ˂ˀˀˉ˯˝̒
    ̒ "ØÎĈ³ij³ĿôŗØ̒ R³Đìń³ìØ̒ ëėij̒ "ŞĐ³ĎôÎ̒ XńĈĿôĎØÔô³̒ AĐĿØij³ÎĿôėĐ̒ €ŞķĿØĎķ˝̒ AĐ̒ ˂ĐÔ̒ ôĐĿØijĐ³ĿôėĐ³Ĉ̒ÎėĐëØijØĐÎØ̒ėĐ̒Ď³ĿñØĎ³ĿôÎķ̒³ĐÔ̒ÎėĎİńĿ³ĿôėĐ̒ôĐ̒ĎńķôÎ̒ˮXX˯˞̒˂ˀˀˉ̒ˮ ėĈ˝̒˃ˈ˞̒İİ˝̒˂ˁˈ˶˂˂ˇ˯˝̒€İijôĐìØij̒ 䖂 yėĐÎØĈØĿ˞̒ ˝˞̒ ̿̒ N³ÎIJńØĎ³ijÔ˞̒ 8˝̒ ˮ˂ˀˁ˅˯˝̒ XėÔØĈ̒ ͳķØÔ̒ ĿØķĿôĐì̒ ėë̒ ³Đ̒ ôĐĿØij³ÎĿôŗØ̒ ĎńķôÎ̒ ķŞķĿØĎ˝̒ AĐ̒ ˃ˀĿñ̒ ³ĐĐń³Ĉ̒
    X̒ ķŞĎİėķôńĎ̒ėĐ̒³İİĈôØÔ̒ÎėĎİńĿôĐì̒˴̒€
    ̒̀ˁ˅̒ˮİİ˝̒ˁˇ˅ˉ˶ˁˇˆ˄˯˝̒
    X̒yijØķķ 䖂 ˆėijė˞̒X˝˞̒"Øķ³ôĐĿØ˴³ĿñØijôĐØ˞̒X˝˞̒̿̒|ńØÔ³˞̒˝̒ˮ˂ˀˁ˄˯˝̒8ėijĎ³Ĉ̒ķØĎ³ĐĿôÎķ̒ëėij̒ôĐĿØij³ÎĿôŗØ̒ĎńķôÎ̒ķÎėijØķ˟̒³̒ëij³ĎØŘėiją̒Ŀė̒ ÔØķôìĐ˞̒ķİØÎôëŞ̒İijėİØijĿôØķ̒³ĐÔ̒ØŝØÎńĿØ̒ôĐĿØij³ÎĿôŗØ̒ķÎØĐ³ijôėķ˝̒NėńijĐ³Ĉ̒ėë̒X³ĿñØĎ³ĿôÎķ̒³ĐÔ̒XńķôÎ˞̒ˈˮˁ˯˞̒ˉ˃˶ˁˁ˂
24. ˆñ³Đąķˢ )4
    ,0 ./$*).ϻ §ėń̒γĐ̒ŪĐÔ̒ĎØ̒³Ŀ˟̒ ̒̒̒̒̒̒̒³ijô³ķ̾ĈôİĐ˝ëij ̒̒̒̒̒̒̒ā³ôĎØ˴³ijô³ķ˝ëij Ϭϯ