• Aucun résultat trouvé

Enforcing High-Level Security Properties For Applets

N/A
N/A
Info
Télécharger
Protected

Academic year: 2021

Partager "Enforcing High-Level Security Properties For Applets"

Copied!
22
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)Enforcing High-Level Security Properties For Applets Mariela Pavlova, Gilles Barthe, Marieke Huisman, Jean-Louis Lanet, Lilian Burdy. To cite this version: Mariela Pavlova, Gilles Barthe, Marieke Huisman, Jean-Louis Lanet, Lilian Burdy. Enforcing HighLevel Security Properties For Applets. [Research Report] RR-5061, INRIA. 2003. �inria-00071523�. HAL Id: inria-00071523 https://hal.inria.fr/inria-00071523 Submitted on 23 May 2006. HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.. 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, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés..

(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Enforcing High-Level Security Properties For Applets Mariela Pavlova — Gilles Barthe — Lilian Burdy — Marieke Huisman — Jean-Louis Lanet. N° 5061 December 2003. ISSN 0249-6399. ISRN INRIA/RR--5061--FR+ENG. THÈME 2. apport de recherche.

(3)

(4) 

(5)  

(6)  "!# %$'&)(*#+, -$# . / 0213++4."$#/ 57698;:=<?>@6AB6DC->@EFC'6HGJIK:=>@>=<?LMN698 OQPR<SGJT :=>@:@69UHMWVR8;X Y*GJ57698Z:@<\[9<^]VR:=L;_69U`G a9<D69U b%T EcVR:=LT69U#<\O d

(7) efZgWhijlkBmZnophrqtsvu\otw ophZq h xyw z{q|w.}~q€‚Dgƒ9svqto|„\}~h J†‡svˆ‰h.xŠŒ‹vhZ†‡h;‰x zvŽŽ's\†‚xFhr†hZw‘e~h †‘w‘eh*n9’Œ“v”v•–—j™˜šhZw h g›ƒ'hZ†ši{”\”vœjž–ZŸWŽ~z{u\hZ  ¡ ¢Z£ ¤¥¦v£v§©¨ gNzv†‚x w zv†z{ŽŽ~qpo|w z{x‡otsvn~"s{ª«xh n—e~z{n'FqphŽ†ot‹Qz\w.?¬­‚hZn~‚opx‡ot‹vhšopnª®sv†gNz{x‡otsvn€¯Fzvn~°xeh †h.¬ ª®s\†‡hg›}~‚xsvƒ9h ±w h †‡xzvopnS‡hZw.}~†‡opx‰,Ž9svqtotw oph; ² ¨ }~w‘eŽ9svqtotw oph;z{†h}~‡}~z{qtqp^FhZw.†otƒ'h;±ƒD±eopu\eF¬³qphZ‹vh q ‡hZw }†o´x‰Ž†svŽ9h †‡x‡othZZ¯µ‚xzxopn~u±ª®s\†Nh.¶z{gNŽqthxe~zxnsz{}x‡ehZn\xotwZzxops\ng}'‰xNxzv·vh—Žq|zvw.h—¸ opx‡eotn¹z x†zvn~zvw%xops\n€² º"h e'zQ‹?otsv}~†zvqŒopn?x‡hZ†‚ª=z\w.h°‡Ž'h;w.op»'w z{x‡otsvnq|z{nu\}~z{u\hZZ¯-‚}'w‘e¼zv½?¾K¿*À@½\zQ‹zÁ¾4sFFh qtotnu,¿-zvnuv}'z{uvhQ e'zQ‹vh4ƒ'hZh nÇ}~w w hZ‰ª®}~qpqt}~‡hZ¹xsS‹z{qtotz{x‡hKª®}~n~w%xops\n~z{qŽ~†‡s\Ž'hZ†‚xoph;s{ªr‚gzv†‚xwZz{†‘¹zvŽŽqtotwZzxops\n~ ² Äys¸ÅhZ‹vhZ†Z¯BeotuveF¬³qphZ‹vhZq‚h;w.}†o´x‰Ž†‡s\Ž'hZ†‚xoph;Kw zvnns{xKƒ9h¼h.¶FŽ†hZ‡hZop†hZw.x‡qtotnƇ}~w‘eÆq|z{nu\}~z{u\hZZ² d

(8) e~h †h.ª®sv†hv¯

(9) xeo|Ž~zvŽ'hZ†Ž†svŽ9s\‡hZzSgNh.xesFÇx‡s¼x‡†‘z{n~‡qtz{x‡hÁe~opu\eF¬Èqth ‹\h qB‚h;w.}†o´x‰¹Ž†svŽ9h †‡x‡othZopn?x‡s ½?¾K¿Ázvnnsvxzxops\n~Z² d

(10) ehgNh x‡esFŽ†sFw.hZhZŒƒDN‚Dn?x‡e~hZ‡ot‡opn~uz{ŽŽ†svŽ~†‡o|zxh

(11) zvnnsvxzxops\n~Jzvn~N¸Åh;zQ‹?¬ otnux‡ehZg3x‡e†sv}~uves\}FxšxehNz{ŽŽqto|w zxops\n€²rÉ­nÁxeo|š¸

(12) zQv¯Ê‡hZw }†‡opx‰4Ž's\qpo|w.othZwZz{n,ƒ9hW‹Qzvqpo|z{x‡hZ,}~‡opnu xeh°‹z{†otsv}~rh ¶Fot‚x‡otnuKxs?s\qtª®sv†N½\¾K¿µ² d

(13) ehgWh x‡esFSo|u\h nhZ†zvqµz{n'Sz{ŽŽqtothZrxs,zKq|z{†uvh°w qtz\‡rsvª ‡hZw }†o´x‰Ž†svŽ9h †‡x‡othZZ² d s¼otqpqt}~‚x‡†‘zx‡hKopxz{ŽŽ~qpo|w zvƒopqtopx‰v¯

(14) ¸ÅhÁzvŽŽqtoph;¹x‡eh,gWh x‡esF¹xs¼‚hZ‹vh †‘z{q †hZzvqpo|‚x‡o|w4h.¶z{gNŽqthZsvª ‡gz{†‡x"wZz{†‘°z{ŽŽ~qpo|w z{x‡otsvn~Z²#d

(15) e~ot

(16) z{qtqts¸Åh;N}~Åx‡s›»~n~°‹Dotsvq|zxops\n~Åzvu\zvopn~‚xµxehFsFw.}gNh n?xhZ‡hZw }†o´x‰ Ž9svqto|w.othZ"ª®sv†‡svgNhs{ª#x‡e~hZ‡hzvŽŽqtotwZzxops\n~ ² ËKÌ?ÍcΐÏÐ ¤Ñ#¢v§ ‡hZw }†o´x‰\¯z{ŽŽqth.x‘ ¯9½vzQ‹zÒ"z{†‘Ê¯‚Ž9hZw o´»9w zxops\nu\h nhZ†z{x‡otsvn. Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles, BP 93, 06902 Sophia Antipolis Cedex (France) Téléphone : +33 4 92 38 77 77 — Télécopie : +33 4 92 38 77 65.

(17)  # — $# !°$   $# ./  

(18) —+± %$# ! /

(19) /

(20) !R ‘$+±! —

(21)  / +—+—Z . $# / -$ +—! Å /  ¢  § ¿-hZzvŽŽqtotwZzxops\n~°Fh;‰xopnmZhZ°zv}F¶Çw z{†‡x‡h; Ž}~w h,‡svn?x‡sv}‹\h n?x°h gNŽqtsvmZhZNŽ9sv}† †mZzvqpo|‡h †Fh;s\Ž'mZ†z{x‡otsvn~›‚hZn~‡opƒqthZ›F}Ž9svotn?xWFh‹D}h—hq|z,‡mZw.}~†‡opx‡m\²±ŠŒnw h q|z¯ŒhZqpqthZWFsvot‹vhZn?x›‚h w svnFª®s\†‡gNhZ†— Fh;Ž's\qpopx‡o|„?}hZhN‡mZw }†o´xmN‡sv}~‹vh n?xrFmZw †‡opx‡h;Ž~z{†rFh;Ž†svŽ†opm x‡m;BhWe'z{}Fxnot‹vh;z{}€² ˜šhrxh qtqph;Ž†svŽ†otm.x‡m; otn~Fo|„\}~h n?xšŽ~zv†h.¶FhZgWŽ~qph„?} z{}'w.}nh›z{}Fxeh n?x‡op»'wZzx‡otsvnKn~hFsvopxšzQ‹\svot† qpoth }Ázv} w sv}†‘  }nhx‡†‘z{n~zvw.x‡otsvn€¯'sv},„?} z{}'w.}nhh.¶w.hZŽFx‡otsvnÁzv}Fx‡†h„?} }nhh ¶w.h Žx‡otsvnK†m.ª®m †h n'w.m h›z{n~yqtz n~sv†gWhÉ ¨"! nhrŽ9h }Fxyzv†‡†op‹\h † ˆ‰}~„\} W q# }Fxopqto|‡z{x‡h }~†Z² ˜šhZyqtzvnu\zvuvhZ

(22) Fh›‚Ž9mZw o´»'wZzxops\n~ ¯x‡h q#„?}h½\¾Á¿ÃÀ@½\zQ‹zN¾KsDh qtopnu°¿ z{nu\}~z{u\h;ÂÅsvn?xm x‡mhZgWŽ~qps\m zQ‹\hZw—‚}'w w.f;WŽ's\}†‹z{qtotFhZ†°FhZzvŽŽqtotwZzxops\n~$ h.¶Fm;w.}Fx‘z{n?xN‡}†°Fh;w zv†‚xhZ%^ Ž}~w hv²ÒÅh Ž9h n~~z{n?xZ¯ qthZšŽ†svŽ†otm.x‡m;yFhW‚m;w.}†opx‡m›he~zv}Fxšnot‹vh;z{}Án~hŽ9h }‹\h n?xšŽ~z\ ¯cqthŽqt}~B‚s\}‹vhZn?xZ¯9h.x‡†h›op†hZw.x‡h gNhZn\x h ¶FŽ†‡otgNm h;B~z{n~rw hZq|z{nu\}~z{u\hZZ²NÒÅh.xzv†‚xotw qphWŽ†svŽ9s\‡hWsvn~wW}nhgNm x‡esFFhNŽ9sv}†x†z\F}ot†‡hz{}x‡s{¬ gz{x‡o|„\}~h gNh n?xqthZŽ†‡s\Ž†opm x‡mZFh°e~zv}Fxnot‹vh;z{}Sh n¼‡Ž9mZw.op»'wZzx‡otsvn'›½?¾K¿J²#¿-z4gNm.xesFFhw svn~‡ot‚x‡h Ž~†‡s\Ž~z{u\h † šx†zQ‹\h †‘€}nh zvŽŽqtotwZzx‡otsvnWFhZŒzvnnsvxzxops\n~#‚Dn?x‡em x‡o|„?}hZŒzvŽŽ†svŽ†opmZhZy}~nh

(23) Ž†‡s\Ž†opm x‡mv² & opn'‚o9z{n~µ}nhy‡hZw svn~hm.x‘z{Ž9hv¯vq|zrŽ9svqto´xot„?}hBFhy‡mZw }†‡opx‡m Ž9h }xÅh.x†‡hy‹Qzvqpo|FmZhh n}Fxopqto|‡zvn\xÅqph;Jsv}x‡otqt h‹z{qtot~zx‡otsvnh.¶Fot‚xzvn?x›Ž's\}†N½?¾K¿µ²#¿ zÁgNm.xesFFhh;‰xNuvmZnm †‘z{qthh.xNŽ9h }FxNh.x†‡h4z{ŽŽ~qpo|„?}m h'Á }nh u\†zvn~Fhw.q|zv‚hrFh;

(24) Ž†svŽ†opm x‡m;"h‚m;w.}†o´xmv² ŠŒqtqthÅzn~s{xzvgNgWhZn?x-m.xmÅz{Ž~Žqpo|„?}m hÅ‚}† Žqt}~‚oth }~†-h.¶Fh gNŽqthZ-†‡m;z{qtot‚x‡h;-  z{ŽŽ~qpo|w z{x‡otsvn~-Ž's\}† wZz{†‡x‡hv¯ h xyzW†‡mZh qtqphZgWhZn?x

(25) Ž9h †gNot hx‡†sv}‹\h † FhZ

(26) ‹Dotsvq|zxops\n~ FhŽ's\qpopx‡o|„?}hZyFh‚m;w.}†opx‡mv² ( Ð £;¢ Î ¦*)  ¢—§ ‡mZw.}~†‡opx‡m\¯z{ŽŽqth.x‘ ¯~½\zQ‹zNÒ"zv†€¯Fuvm n~m †‘zx‡otsvn—FhZy‚Ž9mZw o´»'wZzxops\n~ `.

(27)  

(28)     !"

(29) #%$'&()"*!"# +,.-/.0(*1*23#+,. œ.  $ #%

(30) 4! µ$# .› J†‡s\uv†‘z{g ‹vhZ†‡op»'wZzx‡otsvnÁx‡hZw‘e~not„?}h;z{†hWopn~w †‡h;zv‡opn~uvqtKƒ'hZopnuKz\F‹vsFw z{x‡h;,ƒDÁotn~F}~‚x‡†,z\rz¸

(31) zQ4x‡s Ž~†‡s‹Do|Fheotuve—„\}'z{qto´x‰‡s{ª«x‰¸

(32) z{†hv²#É­nŽ~zv†‚xotw }qtzv†µotnxehw.svn?xh.¶DxÅsvª ‚gzv†‚x

(33) w z{†‘µx‡ehZ°z{qt†‡h;zvFWe~zQ‹\h ƒ9h hZnÇ‚}~wZw.h;‡‚ª®}qtqp }~‚h; x‡s‹vhZ†‡opª®¼ª®}n'w%x‡otsvn'z{qŽ†svŽ9h †‡x‡othZzvn~ opn?x‡hZ†‡s\Ž'hZ†zvƒotqpopx‰6À +7

(34) 87"Žq|zx‡ª®sv†g›¬ otn~FhZŽ'hZn~FhZn~w.hQÂ

(35) s{ªJz{Ž~Žqpo|w z{x‡otsvn~Z¯~zvn~Kz{q|‚sWxsFo|‡w s‹vh †‡}ƒFxqphŽ†‡s\uv†‘z{gNgNopn~u›hZ†‡†sv†‘"x‡e~z{xy†h gz{otn }~n~Fh.xhZw.x‡hZWƒDotn?x‡h n'‚ot‹vh"x‡h;‰xopn~u 9 :~¯{/• ;ȲRÄs¸"h ‹\h †;¯{w.}††h n?x xhZw‘en~ot„?}h;Œz{†h"svª«x‡hZn›nsvxµz{ŽŽ~†‡s\Ž†‡o|zxh xs‹vhZ†‡opª®šx‰?Ž~otwZz{q\‡hZw }†o´x‰šŽ's\qpo|w.othZ-ª®sv†#z{ŽŽqth.x‘µÀ@‚gz{†‡x wZz{†‘rz{ŽŽqto|w zxops\n~‘Â%¯;h.¶FŽ†hZ‚h;Bz\€eotuverqth ‹\h q †}qthZZ¯\‡}~w‘ez\= <‚nsz{}x‡ehZn\xotwZzxops\ng}~‚xJxzv·vhŽ~qtz\w.h¸ opx‡eotnzx‡†‘z{n~zvw.x‡otsvn >%¯{sv?† <‚zvn°z{ŽŽ~qph xÅw zvn°ƒ'h Ž9h †‘‡svn~zvqpo|‚h;°s\nqpsvn~w "h >%² ¾4s\†‡hZs‹vhZ†Z¯~x‡ehNw.s?‰xBs{ªµhZgWŽ~qpsDotnuŽ†svu\†zvg ‹\h †o´»'wZzxops\nKx‡h;w‘eno|„\}~hZš†‡hZgNzvopn'šzvnÁopgNŽ9sv†‡xzvn\x s\ƒ~‚xzvw qph

(36) ª®s\†JgNs\‚xJopn'F}~‚x‡†otzvqtZ² ! }~†Jh.¶FŽ9h †ophZn~w.h; ¯\¸ eotw‘ezv†‡hw svnF»~†gNhZWƒDx‰¸"sr†hZw.hZn?xJ†‡s?zvFgz{Ž' ª®s\†y‡gNzv†‚xywZz{†‘—†‡h;‚h;z{†‘w‘@e 9t–;iD¯ "– ;³¯9‡es¸Hx‡e~z{xx‡eh›Fo A°w }q´x‰—s{ªŒqthZzv†‡notnu°z‡Ž'h;w.op»'w z{x‡otsvnKq|z{nu\}~z{u\h ¸ e~s\‡hšotn?x‡h †n~zvqt"gzQ°ƒ9hBs\ƒ~w.}†hBx‡sNŽ†svuv†‘z{gNgNh †‘Z¯\z{n'°xehrqtzv†‡u\hšzvgWs\}n?x s{ª ¸"sv†·†hZ„?}ot†‡h;x‡s ª®s\†‡gzvqpqt±‡Ž'h;w.opª®Sz{n~‹\h †o´ª®z{ŽŽ~qpo|w z{x‡otsvn~w svn~‚x‡opx‡}x‡hgz{ˆ‰sv†s\ƒ~‰x‘zvw qph;x‡s,x‡eh°}'‚hs{ª Ž†svuv†‘z{g ‹\h †o´»9w zxops\n°xhZw‘eno|„?}hZopnKotn~F}~‚x‡†v²Åd

(37) eh †h.ª®s\†‡h\¯F†‡h;w.h n?x¸"sv†·svn—ª®sv†gz{qÊgNh.xesF ª®s\†y½vzQ‹zNz{n' ½\zQ‹zNÒ"zv†C B x†‡othZ"xsNxz\w‘·?qthšx‡eh;‚hrŽ†svƒ~qphZgNZ² d s†‡h;F}~w.h"xehF3o Aw }qpx‰s{ª9qph;z{†notnurzB‡Ž9hZw.op»'wZzx‡otsvnWq|z{nu\}~z{u\hv¯Qx‡e~hy½vzQ‹z¾4sFFh qtopn~u¿ z{nu\}~z{u\h ÀȽ\¾Á¿ ? 9t–ZD• ;?e~zv-ƒ'hZh nFh;‚otuvn~hZzv z{nhZz\‚otqpBzvwZw.hZ‡opƒqthJ‡Ž'h;w.op»'w z{x‡otsvnrq|z{nu\}~z{u\hv²Êɳx-}~‡hZ z½vzQ‹z{¬Èqtop·\h ‡Dn?xz¶K¸ opx‡e‚s\gNhW‡Ž'h;w.op»'w z{x‡otsvnF¬­‡Ž'h;w.op»'w·\h D¸"sv†‘yz\FhZ€²W½?¾K¿ zvqpqts¸BFh ‹\h qtsvŽ9h †‘xs4‡Ž9hZw.opª® xehBŽ†‡s\Ž'hZ†‚xoph;µsvª€x‡e~h ot†ÅŽ†svu\†zvg otnzuvhZnh †‘z{qtotzxops\ns{ª Äys\zv†‡hqtsvu\otwv¯?xz{otqtsv†hZWx‡s½\zQ‹Qz~²#º"ns¸r¯ opxre~zvBƒ9h hZn,uvhZnh †‘z{qtqt4z\w w h ŽFxhZ,z\ #+!Nƒ'hZe~zQ‹Dops\}†‘z{q#opn?x‡hZ†‚ª=z\w.hN‚Ž9hZw o´»9w zxops\n,q|z{nu\}~z{u\hrª®sv†½\zQ‹z À³Ò"z{†‘~Â%² E~sv†Rx‡e~h ‹vh †op»'w z{x‡otsvnWs{ªc½\zQ‹zNÀÈÒ"z{†‘~ Ž†svu\†zvgNZ¯‚hZ‹vhZ†zvq\xsDsvq|Œz{†h

(38) zQ‹zvopq|z{ƒqtGh Fƒ~zv‡hZ›svnNÄs?z{†h qtsvu\otHw 9p–Q8“ ;€sv†

(39) ¸"hZzv·vhZ‚xŎ~†‡h;w.svn'Fo´xops\n~"w z{q|w.}~qp}~I 9t– :;JF}~‡opn~u—À=‹Qzv†‡o|zxops\n~Ås{ªÂ

(40) ½?¾K¿zv"‚Ž9hZw o´»'wZzxops\n q|z{n~uv}~zvuvhv² K±h

(41) gNh n?x‡otsvLn 7M 7?½ & (Ò N*ÀȽvzQ‹z & ŽŽqth.xÅÒÅs\†‡†hZw.x‡nh;‡= No´x%G 9PO;³¯\½vop‹\.h 9 iF"– ;³Q¯ N†‘z{·zxs\Rz 9t– S;ȯ ¿-sDsvTŽ 9 œ ;Jz{n'±Š ¨ VÒ U{½\zQ‹QWz 9p–;DŸ ;³²d

(42) ehZ‡h›x‡sDsvq|y‹zv†‡KotnÁxehz{gNsv}n?xs{ªµ}'‚hZ†Botn?x‡hZ†z\w%x‡otsvn,†‡h;„\}~op†hZÊ¯ ƒ~}Fxz{q|‚sopn±x‡ehNqth ‹\h qRs{ª

(43) w.sv††hZw%xnhZ xeh ,Ž†‡s‹Do|Fhv²½vot‹vhvX¯ N†‘z{·z{x‡s\zz{n~^¿€sDsvŽ^z{†h›‡sv}n'Ê¯Êƒ}Fx †hZ„?}ot†hrg}~w‘eK}~‡h †yopn?x‡hZ†z\w%xops\n€¯¸ eotqphWŠ ¨ VÒ Uv½vzQ‹zWotšz{}Fxsvgzxotwv¯~ƒ}xš}n~‡sv}~n~ÊV² Es\†y‚gzv†‚xšwZz{†‘ otn~F}'‰x†‡\¯Åƒ9s{xe ‡sv}~n~Fnh;‡zvn~ z{}Fxsvgzxops\n¹zv†‡h4gzˆ‰s\†Nw svn~w h †n~Z² ! nh4nh h;Nx‡sƒ9h,z{ƒ~qph—x‡s u\op‹\h

(44) »~†g w sv††‡h;w%x‡n~hZRuv}~zv†zvn\xh h; ¯{¸ e~opqthyz{}x‡svgz{x‡otsvnNŽ†s‹?o|Fh;J‡wZz{q|z{ƒotqto´x‰Wz{n~W}~z{ƒotqto´x‰\²Œ½ & (Ò N o|x‡ehx‡sDsvq"¸ eo|w‘ezv†‡h;‡‡hZx‡eh;‚hot‚}~hZƒ9hZ‚xZ¯Åw.svg›ƒotnopn~u,‚s\}n~Fn~hZ¸ opx‡ez,eotuveFhZuv†h h°svª zv}Fx‡s\gzx‡otsvn-¯Dx‡ehZ†‡h ª®sv†hš¸"h}~‚hropxotn—s\}†

(45) ¸Ås\†‡·c² É­nw svn?x‡†‘zv‚xZ¯

(46) xeh,Ž~†‡s\ƒqphZg svªzvw%x}~z{qtqt ¸ †o´xopn~u¼x‡e~h±‡Ž'h;w.op»'w z{x‡otsvn~†‡hZgNzvopn'qtzv†‡u\h qt}n'zvD¬ †‡h;‡‡hZÊ² ¨ Ž9hZw o´ª®Dotnuz,‡gNzv†‚xNw zv†¼zvŽŽqtotwZzxops\n¼otWq|z{ƒ9sv}†‡¬³opn?x‡hZn~‡op‹\hz{n~h ††‡s\†‚¬³Ž†svnh\¯#z\opxNot h;zv‡¼xsSª®sv†uvh x‚s\gNhÁz{nnsvxz{x‡otsvn~Z²*d

(47) eh †hÁh.¶Fo|‰xx‡sDsvq|°¸ eo|w‘eÃzv‡ot‚xotnǸ †‡opx‡otnuzvnns{x‘zxops\n~ ¯ 87M 7ʘšzvop·\svT n 9t–Z” ;Rzvn~ÁÄs\}~Fotno 9p–\"– ;³¯9ƒ~}FxšxehZ‡h}'‚h›eh }†o|‰xotwgWh x‡esFBz{n'ÁFsn~s{x†‡h;„\}~op†hz{nD }'‚hZ†šotnŽ}Fx;²¾4sv†h s‹\h †;¯xeh 4x‰DŽo|w zvqpqt4svnqtKŽ†sD}~w.hWz{nnsvxz{x‡otsvn~yª®sv†‚otgNŽqthWzª®h x‰4zvn~Kª®}~n~w%¬ xops\n~z{qÊotnD‹z{†otzvn\x‘ ¯Fzvn~x‡ehZw zvnns{x ƒ9hr}~‡hZx‡s‡?n?xehZ‡ot‡h†‡h;z{qtot‚x‡o|w‚h;w.}†opx‰Ž's\qpo|w.othZZ² d

(48) ehZ†‡h ª®sv†hv¯?¸ÅhBŽ†svŽ9s\‡hyz›gWh x‡esF°x‡e~z{xZ¯Duvot‹vhZnz›‡hZw }†o´x‰NŽ9svqtotw v¯Fz{}FxsvgzxotwZz{qtqpzvnns{x‘zxhZµz ½\zQ‹z°ÀÈÒ"zv†'ÂJz{Ž~Žqpo|w z{x‡otsvn€¯?otn‡}~w‘ez¸

(49) zQ›x‡e~z{xÅopª€x‡ehz{Ž~Žqpo|w z{x‡otsvn°†hZ‡Ž9hZw%x‘Jxehšzvnnsvxzxops\n~Œxeh n 4. 5. Y[Z\[]\V^\_`IaMb=\c`DaP\dMe6f6ghijZ\[]\8kgl\aMdMh"_+e6`IenmoDdMaMf6a g%d pqghb%rq\_sgf)\_+`t\o8oDdMaMf[\ g%aMh"uDb[v. w=w uxjy"z"{8|.

(50) :. &83/"# V! $ ! ,

(51)  J#. opxrz{q|‚s°†hZ‡Ž9hZw%x‘xehN‚h;w.}†o´x‰—Ž9svqtotw v²d

(52) eh›u\h nhZ†z{x‡otsvn4s{ª"z{nnsvxz{x‡otsvn~yŽ†‡sFw h hZ~otnÁx‰¸"sŽe~z\‚h; ‡Dn?x‡eh;‚o|‚otnuNz{n~—¸"hZzQ‹Dotnu~² –v² º

(53) zv‡hZ°s\n°xehr‚h;w.}†o´x‰Ž9svqto|w.°¸"Hh ,"$2#+!"," ,rw.s\†‡hz{n~ns{x‘zx‡otsvn' ¯F‡Ž'h;w.opª®?otnu›x‡ehƒ9h e~zQ‹Dotsv}† s{ª#x‡ehrgNh x‡esFop†hZw.x‡qt°opnD‹\svqt‹vhZ€² iF² K±hŽ†‡s\Ž~z{u?zxhzvŽŽ†svŽ†o|zx‡hrzvnns{x‘zxops\n~

(54) ª®sv†šz{qtq-gNh.xesFyFot†hZw%xqpsv†otn~Fot†hZw%xqp—otn?‹\sv·Dotnu x‡ehšgNh.x‡e~sD~Œx‡e'zxµª®s\†‡g`x‡ehBw.s\†‡h svª9xehš‡hZw }†o´x‰›Ž's\qpo|w.\¯vxe?}' G 8

(55)  ›xehš‡hZw }†‡opx‰Ž9svqto|w. x‡e†sv}~uvex‡ehzvŽŽqtotwZzx‡otsvn-² E~sv†Áh ¶FzvgNŽqph\¯‚}~ŽŽ's?‚hxe~zxKxeh‡hZw }†‡opx‰ÃŽ9svqtotw Ž†hZw.†otƒ'h;4x‡e~z{xKx‡eh ‚Dn?x‡eh;‚o|‡hZ7w.sv†h.¬ zvnnsvxzxops\n~Nw.s\n\x‘z{otnŽ†hZw svn~o´xops\n P zvn~ Ž's?‰x‘w.svn'Fo´xops\n Q ª®sv†NgNh.xesF m ² KÇeh n ¸"hZzQ‹Dopn~u xehyzvnns{x‘zxops\n~ ¯vh ‹vhZ†‡›gNh.x‡e~sD n xe~zxÅwZz{qtqtJgWh x‡esF m ¸ opqtq'zvqt‡sruvh xµŽ†hZw.s\n~Fopx‡otsvn P z{n~WŽ9s\‚x‚¬ w svn~o´xops\n c¯ !23",,¸"hN»~n~^x‡e~z{xx‡e~h°opgNŽqth gNhZn\x‘zxops\n^svª h;‰x‘z{ƒqto|‚eh; ƒ'h ª®sv†h°w z{qtqtopnu ¯ s\† ƒ†hZz{·F QQ z{ª«x‡h †y†‡h x‡}†notnuNª®†‡s\g m ² yh.¶DxZ¯~x‡ehz{gNhzvŽŽ†ns\zvw‘e¸ opqtq-ƒ9h}~P‡hZª®s\†šz{qtq€gNh.xesFm wZz{qtqpotnu 2¯ #n 87 ! n~w.hÅx‡eh

(56) ¸ es\qph

(57) z{Ž~Žqpo|w z{x‡otsvn›otRz{n~ns{x‘zx‡h;Ê¯}~‡opn~u½ & (Ò NÇsvn~h"wZz{n‹\h †o´ª®zv}Fx‡s\gzx‚¬ o|w zvqpqt—¸ neh.xeh †šx‡ehWz{ŽŽ~qpo|w z{x‡otsvnK†hZ‡Ž'h;w%xx‡ehW‚h;w.}†opx‰Ž9svqtotw v²Bd

(58) eoty¸ esvqthŽ~†‡sFw.h;‡gWotuve?x‚hZh g x†‡ot‹Dotzvq@¯Êƒ~}FxFsvotnu—o´xrgz{nD}~zvqpqtKotBq|z{ƒ9sv}†‡¬³opn?x‡hZn~‡op‹\h›z{n'Áh ††sv†‡¬ÈŽ†svn~hv² ! }†gNh.x‡e~sD±Ž†s‹DotFh;šz ‡sv}~n~Ê¯z{}x‡svgz{x‡o|wBzvn~—w.s\‚x‚¬³h chZw.x‡ot‹vh¸

(59) zQNª®sv†w‘eh;w‘·?otnu‡hZw.}~†‡opx‰Ž's\qpo|w.othZZ² d

(60) ehzvnns{x‘zxops\n~šx‡e~z{x¸ÅhNuvhZnh †‘zxh›zvqpqŒ}~‡h°½\¾Á¿  r‰x‘zx‡o|wWuves?‰x‹z{†otzvƒqthZšx‡e~z{xz{†hW‡Ž'h;w.o|z{q ‡Ž9hZw.op»'wZzx‡otsvn¬Ès\nqp ‹z{†otzvƒqph; ² ½?¾K¿ zvqt‡s¼Fh.»'nhZ—z¼‡Ž'h;w.o|z{qyu\es\‚x‚¬­zv‡opu\ngNh n?x°z{nnsvxz{x‡otsvn¹ª®sv† xehZ‡h4‹z{†otzvƒqph; ² ¨ opn'w.h4¸Åh—}~‡h4svnqt¼‰x‘zxotw—uve~s\‚xW‹z{†o|z{ƒqthZZ¯Œx‡e~h—Ž~†‡s\Ž'hZ†‚xoph;xe~zx¸"hh ¶FŽ†‡h;‡ zv†‡hšopn'Fh Ž9h n~h n?x s{ª€xehšŽ'z{†‡x‡o|w.}q|z{†

(61) w.q|zvµotn~‚xzvn~w.h;"zQ‹zvopq|z{ƒqthv² K^hše~zQ‹\hšFh »~nh;‡Ž'h;w.o|z{q9¸Åh;z{·\hZ‚x Ž~†‡h;w.svn'Fo´xops\n›zvn~N‰x†‡s\nuvh;‰xRŽ's?‰x‘w.s\n~Fopx‡otsvnNw z{q|w.}~qpoȯvw.s\n~‡otFhZ†‡otnu‰x‘zxotw"uve~s\‚xR‹zv†‡o|z{ƒqthZ#s\nqp\¯vz{n' ¸"h e~zQ‹\h Ž†‡s‹\h n›x‡e~z{xµsv}~†µz{qtuvs\†‡opx‡egRª®s\†J¸"hZzQ‹Dopn~ušxehyzvnns{x‘zxops\n~Jw.s\†‡†hZ‡Ž9svn~›h.¶zvw.x‡qtxsrx‡eh;‚h wZz{q|w.}qtoȲ d s^‡es¸ xeh4}~‚h ª®}qtnhZsvªysv}~†NzvŽŽ†s\z\w‘e€¯R¸Åh4z{ŽŽ~qpothZ¼x‡eh4z{qtuvs\†‡opx‡egxs^‡h ‹\h †‘z{qµ†hZzvqpo|‚x‡o|w h ¶z{gNŽqthZÅs{ª ‡gz{†‡x"w zv†z{ŽŽqto|w zxops\n~Z=² KÇehZn—svotnuxeotZ¯F¸"hšzvw.x‡}~zvqpqtWª®sv}n'‹Dotsvq|zx‡otsvn'µz{u?z{otn~‚x xeh‡hZw.}~†‡opx‰Ž's\qpo|w.othZyFsFw.}gNh n?xhZª®sv†‡svgNhs{ª#x‡eh;‚hrz{Ž~Žqpo|w z{x‡otsvn~Z² d

(62) eo|BŽ~z{Ž9h †Bo|ys\†‡u?z{no|‚h;4zvyª®svqtqps¸Z² ¨ hZw%xops\n±iotn?x‡†sFF}~w.h;š‡h ‹\h †‘z{qÊx‰DŽo|w zvq e~opu\eF¬Èqth ‹\h qR‚h;w.}F¬ †opx‰Ž†svŽ9h †‡x‡othZZ² yh.¶DxZ¯ ¨ h;w%xops\n,œ°Ž†hZ‡h n?x‘ x‡e~h›Ž†sFw.h;‡x‡s¸"hZzQ‹\hx‡eh;‚hWŽ†svŽ9h †‡x‡othZx‡e†sv}u\esv}x zvŽŽqtotwZzxops\n~ ² ¨ }ƒ'‚h;„\}~h n?x‡qtv¯ ¨ hZw.x‡otsvn :,otw.}~‡hZxehz{Ž~Žqpo|w z{x‡otsvns{ª s\}†gNh.xesF^x‡sÁ†hZzvqpo|‚x‡o|w h ¶z{gNŽqthZZ?² E#otn~z{qtqtv¯ ¨ h;w%x‡otsvn'y“Wz{n~—•WŽ†‡h;‚hZn?x

(63) †h q|zxhZ¸Ås\†‡·°zvn~4F†‘zQ¸w.s\n~w.qt}~‡ops\n~ ²  ~ 

(64) N

(65) !R ‘$9&)(* +± €$R . /  1 +—+4."$ /  ! ‹\h † xehq|zv‚xš\hZzv†Z¯'‡gz{†‡xšw zv†e~zQ‹vhhZ‹vs\qp‹\hZª®†‡s\g3Ž†‡s\Ž†oph xz{†°otn?x‡ss\Ž'hZn,‡D‚x‡hZg ¯9gz{·Dopn~u opxŽ9s\‚otƒqthx‡s±e~zQ‹vh°zvŽŽqtotwZzxops\n~ª®†svg Fo ch †h n?xŽ~†‡s‹Do|Fh †‘svn¼zÁ‡otnuvqthw zv†€²4d sÁhZn~‚}~†‡hxe~zx xehZ‡h

(66) z{ŽŽqto|w zxops\n~Rw zvnns{xRz{gzvuvhÅx‡eh"s{xeh †Œz{Ž~Žqpo|w z{x‡otsvn~#s\†-xeh w z{†‘Ê¯{‚x‡†otw.xR‡hZw }†o´x‰Ž9svqtotw oph;X F h ¶FŽ†‡h;‡‡hZzv

(67) eotuve¬Èqth ‹\h q€‡hZw.}~†‡opx‰°Ž†svŽ9h †‡x‡othZG Fg}'‰x ƒ9hrsvƒ9h vh;Ê²Jº"h qts¸¸"h¸ opqtq€Ž†hZ‡h n?x‚hZ‹vhZ†zvq h ¶z{gNŽqthZsvªµ‚}'w‘e,‚h;w.}†opx‰—Ž~†‡s\Ž'hZ†‚xoph; ² ¨ }~w‘eÁŽ†svŽ9h †‡x‡othZšz{†heotuveF¬³qth ‹vhZq-otnÁxehW‡h n'‚hrxe~zxBx‡e~h  e'zQ‹vh"opgNŽ~z\w%xJsvnWxeh ¸ esvqthz{Ž~Žqpo|w z{x‡otsvnNz{n~Nzv†‡h"ns{xJ†hZ‚x‡†o|w%x‡h;xs‚otnu\qph w.q|zv‡hZZ²-ɳxµo|RopgNŽ9sv†‡xzvn\x xsNns{xotw hx‡e~z{x

(68) ¸"hr†hZ‚x‡†otw.x"s\}†zx‡x‡h n?xops\nxs‚s\}†w hBw sFFh.¬³qphZ‹vhZq€‚h;w.}†o´x‰svªRzvŽŽqtotwZzxops\n~ ²  w .

(69)  

(70)     !"

(71) #%$'&()"*!"# +,.-/.0(*1*23#+,. “. d

(72) ehrŽ~†‡s\Ž'hZ†‚xoph;"x‡e~z{x¸Åhrw.s\n~‡otFhZ†w zvnƒ9hFot‹?o|Fh;otnK‚hZ‹vhZ†zvq9u\†‡s\}Ž~Z¯FhZzvqpotnuN¸ opx‡eKFo 9hZ†‡hZn\x \z ‚Ž9hZw.xs{ªy‡gNzv†‚xWw z{†‘Z² E#op†‘‰xWs{ªz{qtqÅx‡ehZ†‡hzv†‡hŽ†‡s\Ž'hZ†‚xoph;Fh;z{qtopn~uÁ¸ o´xeSx‡e~h‡s{¬­w z{qtqthZ *1*23#   $Q 3 ¯-Fh;‡w †‡otƒotnux‡e~hWFo ch †h n?xBŽ~e~zv‡hZx‡e~z{xzvn,z{ŽŽ~qph xBw zvn,ƒ9hotn€²¾Kz{nDKzvw.x‡otsvn~šw zvnÁsvnqt ƒ9hŽ9h †‡ª®sv†gNhZ¸ ehZnz{n z{ŽŽqth.xWotopn z,w.hZ†‚x‘z{otnSŽe~z\‚h\² ¨ hZw svn~€¯ xeh †hzv†‡hŽ†‡s\Ž'hZ†‚xoph;Fh;z{qtopn~u ¸ opx‡e^xehNx‡†‘z{n~zvw.x‡otsvn±gWh;w‘e~z{n~ot‡g4¯Êx‡eh½\zQ‹zÁÒ"z{†‘,‡svqt}Fx‡otsvn^ª®sv†re'zQ‹?otnu4zxsvgNotwW}Žcz{x‡hZZ² E}~†‚¬ xeh †xeh †hNz{†h›Ž†svŽ9h †‡x‡othZB†hZ‚x‡†otw.x‡otnux‡ehN·Dopn',svªÅh.¶w h ŽFxops\n~šx‡e~z{xrwZz{n^sFw w.}~†Z¯€zvn~Á»'n~z{qtqp\¯Ê¸Åh w svn~‡o|Fh †rŽ†svŽ9h †‡x‡othZFhZzvqpotnuK¸ opx‡e¼zvwZw.h;‡w svn?x‡†svqȯ-qtotgWopx‡otnuKxeh°Ž9s\‚otƒqth°otn\xh †‘zvw.x‡otsvn~ƒ9h.x‰¸"h hZn o ch †h n?x›zvŽŽqtotwZzx‡otsvn' ² Esv†hZzvw‘eu\†‡s\}Ž¸Åh°Ž~†‡h;‚hZn\x‡svgNhh ¶FzvgNŽqphŽ~†‡s\Ž'hZ†‚xoph; ²4Äs¸"h ‹\h †;¯€¸Åh ¸"sv}~qtKqtot·vh›x‡s—h gNŽe~z\‚o|‚h›x‡e'zxBx‡ehZ†‡hWh.¶Fo|‰xgz{nDKgNsv†h†h qth ‹z{n?xr‚h;w.}†o´x‰4Ž†svŽ9h †‡x‡othZyª®sv†r‡gz{†‡x wZz{†‘Z¯€ª®sv†rh ¶z{gNŽqth°‚Ž9hZw o´ª®DotnuÁgNh gNsv†Ágz{n'z{uvhZgNh n?xZ¯ opnFª®s\†‡gz{x‡otsvn  s¸ zvn~gz{n~zvuvhZgWhZn?xsvª ‡h n'‚opx‡ot‹vhz{xz²NɉFhZn?x‡opª®?otnuÁzvqpqŒ†h qth ‹z{n?x‡hZw.}~†‡opx‰ÁŽ†svŽ9h †‡x‡othZšª®sv†‡gz{†‡xw z{†‘Z¯-z{n'±h ¶FŽ†‡h;‡‡otnu xeh g ª®sv†gz{qtqp\¯Fot zvnotgNŽ's\†‚x‘z{n?xsvnu\svotnuW†‡h;‚h;z{†‘w‘e°ot‡}hv²   ) Ì £ ) Ì ¦ Í ¦ ) Ì & x‰DŽo|w zvq'z{Ž~Žqph xÅqto´ª®hBw.Fw.qthšh.»~nh;JŽe'zv‡hZµz\ 

(73) '¯ 

(74)

(75)  ?¯ "!$#% '& 

(76)  

(77)  \(¯ !) !*+

(78) ,- !{¯ , .*)/+!''¯'zvn~0  -!

(79) ÁÀ@‚hZh 7M 7 9 i{D” ;®Â%²

(80) ŠJzvw‘eKŽ~e~zv‡hw.s\†‡†hZ‡Ž's\n~"xszFo 9hZ†‡hZn\x gNs\gWhZn?x#otnxeh"zvŽŽqth.x  #qto´ª®h\² E#ot†‚xRzvnz{Ž~Žqph x#o|#qps?zvFh;rsvnx‡eh

(81) w zv†€¯Qx‡ehZnopx#o|#Ž†‡s\Ž'hZ†‡qtopn'‰x‘z{qtqph; zvn~†h uvo|‚x‡h †hZ±¸ opx‡ex‡e~h—½\zQ‹QzÁÒ"zv† }n?xopgNhŠJn?‹Dot†‡s\ngNh n?xZ² h ¶Dxx‡ehw z{†‘^otŽ'hZ†‡svn'z{qtot‡hZÊ¯ +7

(82) 87 z{qtq#otnFª®s\†‡gzxops\n,z{ƒ9sv}xšxehw z{†‘Ks¸ nhZ†Z¯cŽ9h †gNot‚otsvn' ¯c·vhZF  #l 87›ot‚x‡s\†‡h;Ê² & ª«xh †Bx‡eo|Z¯Êx‡eh zvŽŽqth.xWotW‚hZqph;w%x‘z{ƒqthv¯Œ¸ eo|w‘e¼gNhZzvn~x‡e~z{xWopxNwZz{nSƒ9h†h Ž9hZz{x‡h;FqpS‡h qthZw.x‡hZ€¯Œh.¶FhZw }Fx‡h;Ê¯Jz{n~ FhZ‡h.¬ qthZw.x‡h;Ê²Äs¸"h ‹\h †;¯o´ªµz‚hZ†‡otsv}~h ††‡s\† sDwZw.}†‘Z¯ª®sv†šh.¶z{gNŽqthrxeh †he~zQ‹\hrƒ'hZh nKxs?sgNzvnD—z{x‚x‡hZgNŽFx xs°‹vhZ†‡opª®zNŽ~opnÁw sDhv¯'x‡ehwZz{†‘4w z{n4u\h.xyƒqtsFw‘·vh;s\†h ‹\h nKƒ9hZw svgNhFhZz\ÊV² E†svg x‡eh›qtz{x‚x‡hZ†y‚xzxhv¯ n~sW†hZw s‹vhZ†‡No|

(83) Ž's?‡‡opƒ~qph\² É­n gNzvnD±svªx‡eh;‚hŽe~z\‚h; ¯Œ†hZ‚x‡†otw.x‡otsvn~›z{ŽŽ~qpsvn¸ es,w zvn¼Ž9h †‡ª®sv†g z\w%xops\n~ ¯Œs\†s\n¼¸ eo|w‘e z\w%xops\n~

(84) w z{n—ƒ9hrŽ'hZ†‚ª®s\†‡gNhZ€²Rd

(85) e~hZ‡hB†hZ‚x‡†o|w%x‡otsvn'Åu\op‹\h†‡o|‚hBxsNo ch †h n?x‚h;w.}†opx‰°Ž†svŽ9h †‡x‡othZZ¯\xsƒ'h s\ƒ'hZvh;ƒDxehz{ŽŽ~qph xZ²   -£ 1 Ì 2 £ ®¦\¥F£ Ì 3Ñ  2 «£ =¥ )®¢;¥F£  (Ð 2 ¿€s?zvFotnu~¯?otn~‰x‘z{qtqpotnuNz{n~Ž'hZ†‡svn'z{qtot‡opn~urx‡ehz{Ž~Žqph x w zvns\nqpƒ'hsvnhƒDz{n4z{}x‡ehZn\xotwZzxhZ4z{}Fxesv†opx‰v²  z{}F-xe£ 1sv†Ì op2x‰£ ®w ¦\zv¥Fn£ Ì h Ñ ¶Dh;w.}F2 x¡ hr) Ðw.sv¦ gN45 g26z{n'KǏ ez{hZn~nK—x‡eŽ9hWs\w ‚zvotƒ†qt—°o|}nDƒƒqtsFqtsFw‘w‘·v·°hZ€o´x;¯~² svn~qp4z{nÁzv}Fx‡ehZn?x‡o|w zxhZ 75 286 ) Ì  Ì ¤¢ (Ð 2 ¥ )=¢Z¥F£  9Ð 2 & nKz{Ž~Žqph xyw zvnƒ9hrŽ'hZ†‡svn'z{qtot‡hZsvnqts\n~w.h\²  W£ Ð :® ¦ «£ Í & ‡gNzv†‚xµwZz{†‘NFsDhZŒnsvxµotn~w.qt}~FhyzŽ's¸"h †J‡}ŽŽqtv¯\x‡eD}~Åzƒ†}Fxzvq†‡h x‡†ophZ‹z{qFª®†svg x‡eh xh †gNopn~zvqvw.s\}q|opn?x‡hZ†‡†}ŽFx#z w.svgNŽ}xzxops\nz{n~ƒ~†‡otnu

(86) x‡e~hµ‚F‚x‡hZgHotnz{nrotn~w.s\eh †h n?x-‚xz{x‡hv²#d-szQ‹\svo| xeo| ¯Êxeh°½vzQ‹zKÒ"z{†‘,‡Ž'h;w.op»'w z{x‡otsvn±Ž†‡h;‡w †‡otƒ9hZšx‡eh}'‚hWs{ª

(87) zx†zvn~zvw%xops\nÁgNhZw‘e~zvno|‚g xs—w svn?x‡†svq ‡Dn~w‘e†svno|‡hZ¹}ŽczxhZs{ª‡h n~‡o´xop‹\h±z{xz~² & ‚xz{x‡hZgWhZn?xƒqtsFw‘· ‡}††‡s\}n~Fh; ƒDxeh±gNh x‡esF ;< =9>?.@.AB"?9C)BD$E9>)F$?HGI z{n~ D"FJ-J>E.@.AB"?9C"BDE9>)F)?KGI wZz{n^ƒ'h°w svn~‡oth †hZ,z{x‡s\gWo|w{²ɳª ‡svgNh.xeopn~u e'z{ŽŽ9h n~¸ eopqthrh.¶Fh;w.}FxopnuNxehx‡†‘z{n'‡z\w%x‡otsvnÀ®s\† o´ª B";F A.E-@.AB"?9C)BD$E9>)F)?HG'I o| h.¶FhZw }Fx‡h;~Â%¯x‡ehwZz{†‘ ¸ otqtq€†‡s\qpqcƒ~z\w‘·°opx otn?x‡h †n~zvq€‰x‘zx‡hBxs›xeh‚xzxhrƒ'h ª®sv†hBx‡ehx†zvn~‡z\w%xops\n¸

(88) zv

(89) ƒ9h uv}~n€² d sh n~‡}†hBx‡ehŽ~†‡s\Ž'hZ†

(90) ª®}n~w%xops\notnu°z{n~—Ž†h ‹\h n?xz{ƒ}'‚hrsvª xeotgWh;w‘e~z{n~ot‡g4¯~‚hZ‹vhZ†zvqc‡hZw }†o´x‰ Ž~†‡s\Ž'hZ†‚xoph;"wZz{n4ƒ9h‡Ž9hZw.op»~h;Ê² w=w uxjy"z"{8|.

(91) •. &83/"# V! $ ! ,

(92)  J#. KÐ 2-Ì ¢Z£ Ì Ñ¹£ ¤¥ 2 ¢Z¥~¦{£  Ð(2 ¢ ! nqt°s\nhqphZ‹vh qÊsvª x†zvn~zvw%xops\n~"ot zvqpqts¸"hZÊ² KÐ Ì ¦ Ì  £ Ð(2  2 £ ¤¥ 2 ¢Z¥¦v£ Ð92 & qtqyh ¶Fw h ŽFxops\n~Nxe~zx—gNzQ ƒ'hÁx‡e†s¸ n opn~‡o|Fh,z x‡†‘z{n~zvw.x‡otsvn€¯‡es\}qt—z{q|‡s›ƒ9hw zv}uve?x opn'‚o|Fhx‡e~hx‡†‘z{n~zvw.x‡otsvn€² ›Ð  2 Ñ Ì Ñ ¤ Ì £Z¤  Ì ¢ sz{}Fxeh n?xotwZzx‡otsvn—gzQ°e~zvŽŽ'hZn4¸ o´xeopnKz›x‡†‘z{n'‡z\w%x‡otsvn-² d

(93) e~h›‡hZw.s\n~KŽ†svŽ9h †‡x‰—h n~‡}†hZ xe~zxšx‡eh D"FJ-J>E.@.AB"?9C"BDE9>)F)? ¸ otqpqRz{qt¸

(94) zQDyƒ'h›h.¶FhZw }Fx‡h;Ê²BɳªJx‡eh h ¶w.h Žx‡otsvno|Åns{xw zv}uve?x;¯vxeh D)FJ.J>E-@.AB"?9C)BD$E9>F"? ¸"sv}q|ƒ9hBotuvn~sv†hZ°zvn~xehyx†zvn~zvw%xops\n°¸ otqpq n~s{x-ƒ9hµ»'not‡eh;Ê² d

(95) ehÅqtz\‰x Ž†‡s\Ž'hZ†‚x‰Bh.¶w qp}~hZ-zv}Fx‡e~h n?x‡o|w z{x‡otsvnr¸ opx‡eotnz x†zvn~zvw%xops\n€²ÊɳªFx‡e~ot ¸Ås\}q| ƒ9hrz{qtqps¸"hZ€¯\s\nhBw sv}q|zvƒ's\†‚x"x‡e~hšx†zvn~zvw%xops\n°h ‹\h †Wx‡otgWhrz›¸ †‡s\nu›zv}Fx‡e~h n?x‡o|w z{x‡otsvnz{x‚x‡hZgNŽFxe~zv ƒ9h hZngzvhv² & ›x‡e~otW†svqtqt›ƒ~zvw‘·^xehotn?x‡hZ†‡n~zvq"‚xz{x‡hx‡s,x‡eh4‰x‘zxhƒ9h.ª®s\†‡hx‡eh—x‡†‘z{n'‡z\w%x‡otsvnS¸

(96) zv ‚xzv†‚xhZÊ¯Åx‡e~ot¸"sv}~qt z{q|‡s^†hZ‡h.xxehK†h.x‡†w sv}n?x‡hZ†Z¯Åx‡eD}~z{qtqps¸ otnuSz{n }nDƒ9sv}n~hZ¹nD}gƒ9h †°svª †h.x†‡othZZ²  ¦ Ì  £  9 Ð 2 ¢ z{o|‡opnuÁzvnh.¶w.hZŽFx‡otsvnSzxrxehxsvŽqphZ‹vhZqµw zvn^†h ‹\hZzvqŒopnFª®s\†‡gz{x‡otsvnSz{ƒ9sv}Fxrxeh°ƒ9h.¬ e'zQ‹?otsv}~†šsvªµx‡e~hNzvŽŽqtotwZzxops\n±z{n'Áotn±Ž†otn~w.otŽqthWopx‚e~sv}q|Áƒ9hWª®sv†ƒot~Fh n€²NÄs¸"h ‹\h †;¯9‡svgNh x‡otgWh;o´x o|›nhZw hZ‡zv†‡±x‡s^Ž~zvs\notnFª®sv†gzxops\nz{ƒ9sv}FxNzÁŽ†svƒ~qphZg©xe~zxNsFw w }†‡†hZ€²^d

(97) ehZ†‡h ª®sv†hv¯#x‡e~h4½\zQ‹z Ò"zv†^‚xz{n'z{†‘Fh.»~n~hZ‡s{¬­w zvqpqthZ±É "¨ ! h.¶w.hZŽFx‡otsvn~Z¯-¸ e~h †h°z4Ž†‡h ¬³h.»~nh;‰x‘zx‡}'r¸Ås\†^h ¶DŽ~qtzvopn~ xehŽ~†‡s\ƒqphZg hZn~w.s\}n?x‡hZ†‡h;Ê²d

(98) ehZ‡hh ¶Fw h ŽFxops\n~yzv†‡hx‡eh›svnqth ¶w.h Žx‡otsvn~x‡e~z{xšgzQƒ9h‹Do|‚otƒqthzx xsvŽF¬³qth ‹vhZq Fzvqpq€svx‡ehZ† h.¶w.hZŽFx‡otsvn' ‚es\}q|ƒ9hw zv}uve?x ¸ o´xeotnxehz{Ž~Žqpo|w z{x‡otsvn€²  2 ). Í 7  Ì  ¦ Ì  £  9Ð 2 ¢B¥£y£ Ð  Î ) Ì

(99) 'Ì ) sh.¶w h ŽFxops\n›‡esv}q|ƒ9h

(100) ‹Dot‡opƒ~qph

(101) zx#x‡s\ŽF¬Èqth ‹\h qȯ h.¶w.hZŽFxÉ "¨ ! h.¶w.hZŽFx‡otsvn~Z²  N¦\¦ Ì ¢Z¢K¦ (Ð 2 £Z¤ Ð ) & ns{xeh †Bª®hZz{x‡}†hWs{ª

(102) ½\zQ‹z—Ò"zv†,otz{n±ot‡svq|zxops\n,gNhZw‘e'z{no|‚g ƒ9h.x‰¸"h hZn±zvŽŽqto´¬ wZzxops\n~ Rxeh»~†h ¸

(103) z{qtq@²Jd

(104) e~h»~†‡hZ¸"zvqpqÊhZn~‡}†‡h;"x‡e~z{xy‚hZ‹vhZ†zvqczvŽŽqtotwZzxops\n~ w zvn—‡hZw }†‡hZqpw.s{¬³h.¶Fo|‰x s\n xehN‡zvgWhWw zv†Ê¯c¸ eotqth›gz{n'z{uvotnu°qtotgWopx‡h;±w svqtqtzvƒ's\†z{x‡otsvn4ƒ9h.x‰¸"h h n,x‡ehZg šw.q|zv‡hZyzvn~Áotn?x‡hZ†‚ª=z\w.hZ h.»~nh;SotnSx‡eh4z{gNh°Ž~z\w‘·Qzvuvh°wZz{nSª®†h hZqpSzvwZw.h;‡rh;zvw‘e¼svx‡ehZ†Z¯R¸ eotqthh.¶Dxh †n~z{q"w.q|zv‚h;w zvnSsvnqt ƒ9h›z\w w hZ‚h;‹Do|zh.¶FŽqto|w.opx‡qt—‡e~z{†hZ4otn?x‡hZ†‚ª=z\w.hZZ²

(105) É­n?x‡h †‡¬­z{ŽŽqto|w zxops\nKw.svgNg›}no|w zxops\nK‹Dotz°‡e~zv†‡h;z{ƒqth otn?x‡hZ†‚ª=z\w.hZ‚es\}q|svnqt,x‘z{·\h°Žq|zvw.h¸ eh nxehzvŽŽqth.xo|›‡h qthZw.xzvƒqph\¯ otnzvqpqÅs{x‡e~h †Ž~e~zv‡hZrsvª x‡eh zvŽŽqth.x qto´ª®hw Dw qphrs\nqtz{}Fxeh n?xotwZzx‡h;zv}Fx‡e~sv†o´xoph; z{†hBzvqpqts¸Åh;°xszvw w hZÅx‡ehzvŽŽqth.xZ²  2 ) Í ¢ Ì ) Ì ¦{£;¥ ¡ ) Ì ¥   )®¦v¥F£  9Ð 2 ¢ ¢ 1 ¥F¤ Ì ¥ ¡ ) Ì & n¹z{ŽŽqto|w zxops\no|›z\w w hZ‚otƒqth‹Dotz^z ‚e'z{†hZz{ƒ~qphBopn?xh †‡ª=zvw.hs\nqpo´ªRo´xo|‡h qthZw.xz{ƒ~qph\² 1 !$   $# 7 R 4 r$# . HN

(106) !# %$'& (* +± €$R . /. & #h.¶FŽq|z{otnhZWz{ƒ9s‹vh\¯;¸"h

(107) z{†hÅotn?x‡h †hZ‚x‡h;otnxeh

(108) ‹vhZ†‡op»'w z{x‡otsvnsvª'eotuve¬Èqth ‹\h qD‚h;w.}†o´x‰rŽ~†‡s\Ž'hZ†‚xoph;-xe~zx zv†‡h n~s{x"op†hZw.x‡qt›†h q|zxhZWx‡s›z‚otnu\qphgNh x‡esFs\†Åw.q|zvŒsvªÊx‡ehBz{ŽŽqto|w zxops\n€¯vƒ~}Fxµxe~zx"uv}~zv†zvn\xh h opx s‹\h †‘z{qtq\¸"h qtqp¬@ª®}n'w%x‡otsvn~opnu'=² K^†o´xopnuzvŽŽ†svŽ†o|zx‡h ½?¾K¿4z{nnsvxz{x‡otsvn~#ª®s\†J‚}~w‘eNŽ†svŽ9h †‡x‡othZ#o|Rx‡h;Fotsv}~ zvn~4h ††sv†‡¬ÈŽ†svn~hv¯zvx‡ehZe'zQ‹vhrxs°ƒ'hW‚Ž~†‡h;zvKz{qtq-s‹\h †

(109) xeh›zvŽŽqtotwZzx‡otsvn-²d

(110) eh †h.ª®s\†‡h\¯~¸"hŽ†svŽ9s\‡h z,¸"zQ^xs^w svn~‚x‡†}~w%xN‚}'w‘e z{n~ns{x‘zx‡otsvn'›zv}Fx‡s\gNz{x‡o|w zvqpqtv² E#op†‘‚xW¸"h—‡Dn?x‡eh;‚o|‚h—w.s\†‡h ¬³zvnns{x‘zxops\n~ ª®s\†

(111) gWh x‡esF op†hZw.x‡qtopnD‹vs\qp‹\hZotnx‡ehŽ†svŽ9h †‡x‰v?² Es\†"h ¶z{gNŽqthv¯D¸ eh n4‡Ž'h;w.opª®?otnuWx‡e'zx nsWnhZ‚x‡h;  w .

(112)  

(113)     !"

(114) #%$'&()"*!"# +,.-/.0(*1*23#+,. O. x†zvn~zvw%xops\n~-zv†‡h"z{qtqps¸"hZ€¯;¸"hÅzvnnsvxzxhJxehÅgNh x‡esF ;< =9>?@.AB"?(C"BD$E9>$F)? ¯ D)FJ.J>E-@.AB"?9C)BD$E9>)F$? zvn~ B";F A-E.@.AB"?(C"BD$E9>$F"? ² ¨ }ƒ~‡hZ„?}hZn\xqpN¸"hyŽ†svŽ'z{u\z{x‡h xehBnhZw hZ‡zv†‡Nz{nn~s{xz{x‡otsvn~Jx‡sWz{qtq9gNh x‡eF¬ sFKÀ@Fot†‡h;w%x‡qt¼s\†opn~op†hZw.x‡qtF›otnD‹vsv·Dotnu±x‡eh;‚hKw.s\†‡h ¬ÈgNh x‡esFZ²¹d

(115) e~hKuvh n~h †‘zx‡h;zvnns{x‘zxops\n~Nz{†h ‡!} A°w.oth n?xx‡s4†hZ‡Ž'h;w%xx‡e~h°‚h;w.}†o´x‰KŽ~†‡s\Ž'hZ†‚xoph; ¯ +7

(116) 87 o´ª"x‡e~hNzvŽŽqth.xFsDh;ns{xr‹Dops\qtz{x‡hWx‡e~hNzvnnsvxz¬ xops\n~Z¯Fo´x†hZ‡Ž'h;w%x‘"x‡ehw sv††‡h;‚Ž9svn~opnuWeotuveF¬³qth ‹vhZqÊ‚h;w.}†o´x‰Ž†‡s\Ž'hZ†‚x‰\² KÇeh x‡ehZ† x‡e~hz{ŽŽ~qph x†‡h;‚Ž9hZw.x

(117) opxzvnns{x‘zxops\n~ w zvnƒ9hrhZ‚xzvƒqpo|‡ehZ—¸ opx‡eKz{nD°svª xehrh.¶Fo|‰xopnu xsDsvq|#ª®sv†Å½?¾K¿J² K^h}~‡h½ & (Ò N 9MOD;ȯ\¸ eo|w‘eWu\h nhZ†z{x‡h; Ž~†‡sDs{ªcsvƒ~qpotu\z{x‡otsvn~RzvwZw.hZŽFx‡h;›ƒDrxeh & x‡hZqpoth †‘º Ž~†‡s‹\h † z{n' ¨ otgNŽqto´ª® \²°ºÅsvx‡ez{†hWzv}Fx‡s\gzx‡o|wW‹vhZ†‡op»~h †‘šª®sv†B»~†‘‰x‡¬Ès\†h †qps\uvo|w zvq ª®s\†‡g›}q|z{hv² ¨ otn~w.h ª®s\† gNs\‚x ‡hZw }†o´x‰°Ž~†‡s\Ž'hZ†‚xoph;µxehz{n~ns{x‘zx‡otsvn'"zv†‡h†h q|zxop‹\h qt°‚otgNŽqpIh F°ƒ}x x‡ehZ†‡hrz{†hgz{nD Fo´x o|BopgNŽ9sv†‡xzvn\xxe~zxx‡e~hZ‡h›‹\h †o´»'wZzxops\n~šzv†‡hNFs\nhWzv}Fx‡s\gzx‡o|w zvqpqtv¯Ê¸ opx‡e~sv}Fxz{nDK}~‡h †otn?x‡h †‘zvw.x‡otsvn€² d

(118) e~h"†hZ‡}qpxRotn ¨ hZw.x‡otsvn :‡es¸x‡e~z{x#ª®s\†Rx‡eh u\h nhZ†z{x‡h;z{n~ns{x‘zx‡otsvn'Œz{qtqw.sv††hZw%xRŽ†sDs{ª~s\ƒqpotu\z{x‡otsvn~ wZz{n—opn'Fh h;ƒ9hz{}x‡svgz{x‡o|w z{qtqt°Fotw‘e~zv†‡u\hZÊ² º"h.ª®s\†‡hBŽ†hZ‡h n?x‡otnux‡ehs‹vhZ†zvqpq9z{†‘w‘eopx‡hZw.x‡}†hysvª-sv}~†µxs?s\qÊ‚h x zvn~°s\}Fx‡qtotnopn~uxehBzvqpu\sv†o´xeg ª®sv† Ž~†‡s\Ž~z{u?zx‡otsvn±s{ª z{nn~s{xz{x‡otsvn~Z¯€¸"hƒ†oph  ,Ž†hZ‡h n?xzª®h ¸2½?¾K¿ ·vhZD¸Ås\†Z¯cx‡e'zx›zv†‡hN†h qth ‹z{n?xª®sv† xehrh.¶zvgWŽ~qph;

(119) Ž†‡h;‚hZn?x‡hZeh †hv² . . .

(120)  . ½?¾K¿ 9t–Z• ;Å}~‡hZ›z,½vzQ‹z{¬Èqtop·\h‚Dn?xz{¶,x‡s,¸ †‡opx‡h°Ž~†‡h;FotwZzxhZZ¯ h ¶?xh n~hZS¸ opx‡e¼‡h ‹\h †‘z{qµ‡Ž'h;w.op»'w z{x‡otsvnF¬ ‡ Ž9hZw.op»'w°w svn~‚x‡†}~w.xZ¯R‡}~w‘e¼z\ F"AB ¯ < 9>-C$E(C #n 87±¾4h x‡esF¼‡Ž9hZw.op»'wZzx‡otsvn'z{†h°u\op‹\h n}~‡opnu xehy·\h D¸"sv†‘ A< >A<C À®Ž†hZw svn~o´xops\n~Â.¯ <"?9C A<C À=Ž's?‰x‘w.s\n~Fopx‡otsvn~‘ÂJzvn~ < (C A<C sv† C>=-?B C À=h.¶w.hZŽFx‡otsvn'z{qʎ9s\‚xw.s\n~Fopx‡otsvn~Z¯J +7

(121) 7~xehw.s\n~Fopx‡otsvnx‡e~z{xe~zv"xsWe~svq|}Ž9svnKzvƒnsv†gz{q'x‡hZ†‡gNotn~zxops\n svª€zrgNh.x‡e~sD'Â%² Es\†µgNh.xesFJ¸"hywZz{n°z{q|‡s‚Ž9hZw o´ª®W¸ eo|w‘e°‹z{†otzvƒqthZŒgzQWƒ'hgNsFFop»~hZ€¯?}'‚otnuz‡s{¬ wZz{qtqph; BC.C>= ?B"; -< w.q|z{}'‚h\²JÒÅq|zv

(122) otn?‹zv†‡o|z{n?xZ¯FFhZw.†otƒopn~u›Ž†svŽ9h †‡x‡othZ"xe~zx e~zQ‹\hBx‡sNƒ'hrŽ~†‡h;‚hZ†‡‹\hZ ƒD°h;zvw‘e—gNh.x‡e~sD4zv†‡hFh n~s{x‡h;—}~‚otnuWx‡e~hr·vh D¸"sv†‘ >? B"A9>)B"?E ² d s,gz{·\h‡Ž'h;w.op»'w z{x‡otsvn~gWs\†‡hz{ƒ~‚x‡†‘zvw.x›z{n~¼opgNŽqth gNh n?x‘zx‡otsvn¬Èotn~FhZŽ'hZn~Fh n?x;¯µ½\¾K¿ÃŽ†‡s‹Do|FhZ ‡h ‹\h †‘z{qgNh;z{n~s{ªzvƒ~‰x†z\w%xops\n€² ! nh±s{ªrxehZ‡h±zv†‡hKxeh‚sv¬³wZz{qtqph; uves?‰x‡¬È‹z{†o|z{ƒqthZZ¯

(123) ¸ eotw‘eHz{†h ‹Do|‚otƒqth svnqtotn°‡Ž'h;w.op»'w z{x‡otsvn~Z²#d

(124) e~h ot†µFhZw qtzv†z{x‡otsvnWotJŽ†‡h;w.h;FhZWƒDxeh ·vhZD¸Ås\† = FC$E ² & ‡Ž'h;w.o|z{q z\‡‡otuvngNh n?x z{nn~s{xz{x‡otsvn C)< E zvqpqts¸Åx‡sN}Žczxhro´x‘

(125) ‹Qzvqp}~hv² y‡otnuNopnD‹z{†otzvn?xÅx‡ehZw zvnƒ9hr†h q|zx‡h; xsw.svn'w.†h.x‡h‹z{†o|z{ƒqthZZ² & qtzv†‡u\h°w.q|zvs{ªy‡hZw }†o´x‰±Ž†‡s\Ž'hZ†‚xoph;wZz{nSƒ9hh.¶FŽ†hZ‡hZ}~‡opn~u,‰x‘zxotwu\es\‚x‹z{†o|z{ƒqthZr¸ opx‡e Ž~†‡otgNo´xop‹\h4x‰?Ž9hKsvn~qpÀ=opn'w.qt}~FotnuSx‡e~hKsvnh;NŽ†‡h;‚hZn?x‡hZ¹otn ¨ hZw.x‡otsvnÃivÂ.² ¨ otn~w.hKotn¹x‡eo|°Ž~zvŽ'hZ†¸Åh †hZ‚x‡†o|w%xÅs\}†

(126) zx‚xh n?x‡otsvn°x‡s›x‡eh;‚hšŽ†‡s\Ž'hZ†‚xoph; ¯D¸"hys\nqp‚x‡}~°z{nnsvxz{x‡otsvn~"w.s\n\x‘z{otnotnu‚xzxotwšuve~s\‚x ‹zv†‡o|z{ƒqthZZ²Jd

(127) eh‚xz{x‡o|wuves?‰x‹z{†o|z{ƒqthZ zv†‡hBx‰DŽo|w z{qtqt}~‡hZx‡s·\h hZŽx†z\w‘·°s{ªRx‡e~hw.svn?x†‡s\q€‰x‘zx‡hrsvª xehz{Ž~Žqpo|w z{x‡otsvn€² d sKuvot‹vhz{nh ¶FzvgNŽqph½?¾K¿Ç‡Ž'h;w.op»'w z{x‡otsvn€¯ ¸Åh°‡es¸ z—ª®†zvuvgNh n?xrs{ª"x‡e~hw.s\†‡h ¬³zvnns{x‘zxops\nKª®sv† xeh KÐ 2-Ì ¢Z£ Ì ÑÇ£ ¤¥ 2 ¢;¥¦{£  (Ð 2 ¢ Ž†‡s\Ž'hZ†‚x‰\² & ‚xzxotwuves?‰x‹z{†o|z{ƒqth @ @ o|yhZw.q|z{†hZ—xe~zx ·\h hZŽ~Œx†z\w‘·Wsvª€¸ eh.xeh †"xeh †hyo|Åzx‡†‘z{n~zvw.x‡otsvnotnŽ†svu\†‡h;‡Z²-ɳx

(128) o|µotnopx‡o|z{qtot‡hZ°x‡s›”~¯FFh nsvx‡otnuxe~zx xeh †hotnsWx‡†‘z{n~zvw.x‡otsvnotn4Ž†svuv†hZZ² "!$#. %&% '! )(. *)+. ,+. $( -+. .%. /. 0. 21. &34&56$47. C$EB E(>-D =0FCE >?E @&3&4&56)47-@<;&;>=@?. 89): BDC ^HC. :A9$8. e6eFEHGDGIAJLKDKMDMDMANPOGHQHRTSQUVANXWYHZTSQGHQNXZY\[]Kv e6Fe EHGDGIAJLKDK_UHQ`W_QDOUTZEANXZY\[TI`OaNbZY\[cKDd_e`fHKDQ`WDZHKd-Sb[-ITRTShgHiNjE`G[cRv. w=w uxjy"z"{8|. %.

(129) Ÿ. &83/"# V! $ ! ,

(130)  J# other JML tools applet annotation generation. annotated applet. JACK. OK/ NO. security properties. E#otuv}†hN– Œd s?s\q€‚h x. ª®sv† ‹\h †o´ª®DotnuNeopu\eF¬³qphZ‹vh qʇhZw }†‡opx‰°Ž†svŽ9h †‡x‡othZ. d

(131) e~hBgNh x‡esF ;<"=9>?@.AB"?9C"BDE9>)F"? otyz{nnsvxz{x‡hZ—zv"ª®s\qpqts¸Z². A<*$+9>A<C @3&4&56$4&7-@<;&;>=@? BC.C>=-?B".; % < @&3&456$47-@2? <"?9,C +.A<C @&3&456$47-@ ;&;  ? :9$8 +.;.%> D3C$EB E9> D ?B E9, > /< /F > ;< =(>?@.AB)?9C"BD$E(>)F)?HG'I E 0AF 9C @.AB)?9C"BD$E(>)F"? &( D"<  E(>$F"?2? . . 89): : :. ¨ opn~w hWx‡ehgNh.xesF^otn~z{x‡ot‹vh\¯€svnhwZz{nnsvxFhZw.†opƒ9hNo´x‘rƒ9sDv²Äs¸"h ‹\h †;¯Êo´ª

(132) o´xe'zv±ƒ'hZh nzn~svnF¬ n'zx‡ot‹vhgWh x‡esFÊ¯Êopxšƒ9sD—¸"sv}~qtKe'zQ‹vhrxsw.s\n?xz{otnÁz‡Ž9hZw.o|z{q#zv‚otuvn~gWhZn?x C"<"E @ -@  xsNh n~‡}†hšxe~zx xehrgNh.xesFopx‡h qpªŒ‡z{x‡o|‰»~h;

(133) o´x‘ z{nn~s{xz{x‡otsvn~Z² 8&8$:. 3&4&56$4&7 <;. ?. .

(134) Ah 

(135) . E#otuv}†hK–°‡es¸Bx‡ehuvh n~h †‘z{qJz{†‘w‘eopx‡h;w%x‡}~†‡hNs{ª"x‡e~hx‡sDsvqÅ‚h x¸ÅhŽ~†‡s‹Do|FhWª®sv†‹\h †o´ª®Dotnu4eopu\eF¬³qphZ‹vh q. ‡ hZw }†o´x‰ÁŽ~†‡s\Ž'hZ†‚xoph; ²É­nSŽ†otn~w.otŽqthv¯-s\}†zvnns{x‘zxops\n±u\h nhZ†z{x‡sv†rwZz{n^ƒ'h°}'‚h;^z\rz—ª®†‡s\n?x‚¬³h n~,ª®sv† zvnD4x‡sDsvqŒzvwZw.hZŽFx‡otnuK½\¾K¿€¬³zvnnsvxzxhZ^½vzQ‹z,À³Ò"z{†‘~šz{ŽŽqto|w zxops\n~Z² & BotnŽ}Fx¸"hWe~zQ‹vhNz‡hZw }†o´x‰ Ž~†‡s\Ž'hZ†‚x‰¹z{n~Ãz ½vzQ‹zÒ"z{†‘Çz{Ž~Žqph xZ²`d

(136) e~h,sv}x‡Ž}Fx—ot—z½?¾K¿ & ƒ~‰x†z\w%x ¨ Dn\x‘z¶Çd-†h h À & ¨ dÂ%¯ }'‚otnux‡ehWª®sv†gzxrzvBFh.»'nhZ,ª®sv†Bx‡e~hN‚xzvn~zv†,½?¾K¿ Ž~z{†‘‡h †;R² KÇeh n^Ž†h.x‚x‰?¬³Ž†opn?x‡h;Ê¯cx‡e~ot & ¨ d w sv††‡h;‚Ž9svn'Nx‡s¹z{nH½?¾K¿€¬³zvnns{x‘zxhZÃ½\zQ‹QzS»~qph\² E~†‡s\g xeo|—zvnnsvxzxhZ »'qph\¯š½ & (Ò N u\h nhZ†z{x‡h; zvŽŽ†svŽ†o|zx‡hBŽ†sDs{ª-s\ƒqpotu\z{x‡otsvn~"xsw‘ehZw‘·°¸ e~h.x‡e~h †

(137) x‡e~hz{ŽŽqth.x†hZ‡Ž9hZw%x‘"x‡eh‡hZw }†o´x‰Ž†svŽ9h †‡x‰v² b. <.  .  

(138) '  <@  . ¨ hZw%xops\n :Ž†hZ‡h n?xJh.¶z{gNŽqthyw.s\†‡h ¬³zvnnsvxzxops\n~ ª®sv†"‚s\gWh svªcx‡ehB‚h;w.}†o´x‰›Ž†svŽ9h †‡x‡othZŒŽ†hZ‡h n?xhZNotn ¨ hZw%xops\niF¯\eh †h ¸Åhª®sDw }~Js\nNx‡ehy¸Åh;zQ‹?otnuŽe~z\‚h\¯j +7

(139) 87Des¸ x‡ehBw.s\†‡h ¬³zvnns{x‘zxops\n~Rz{†h Ž†‡s\Ž~z{u?zxhZ xe†sv}u\esv}Fxx‡eh—z{ŽŽqth.x;²@K^hh.»~nhª®}n~w.x‡otsvn~ )# !{¯ " ) z{n~ !!)*$" ) .¯RŽ†‡s\Ž~z{u?zxopnuKŽ~†‡h;w.svn'Fo´¬ xops\n~Z¯"Ž9s\‚xw svn~o´xops\n~°z{n' h.¶w.hZŽFx‡otsvn~zvqŽ9s\‚xw.s\n~Fopx‡otsvn~Z¯

(140) †‡h;‚Ž9hZw.x‡ot‹vhZqp\²Hd

(141) eh;‚h4ª®}n'w%x‡otsvn'°e~zQ‹\h  w .

(142)  

(143)     !"

(144) #%$'&()"*!"# +,.-/.0(*1*23#+,. S. ƒ9h hZnFh »~nhZSzvn~otgWŽ~qphZgWhZn?x‡hZSª®sv†xeh°ª®}~qpq ½vzQ‹z,Ò"zv†q|z{nu\}~z{u\hv¯ ƒ}FxxsÁŽ†hZ‡h n?xs\}†o|FhZz\ ¯ ¸"hsvnqt°u\op‹\hšxehFh »~nopx‡otsvn~

(145) ª®s\†zN†‡hZŽ†hZ‡h n?xz{x‡ot‹vhš‡}ƒ~‡h.xsvªŒ½\zQ‹zNÒ"zv†—‚xzxh gNh n?x‘J‚xz{x‡h gNhZn\x w svgNŽ9s\‡o´xops\n€¯vgNh.xesFw zvqpq| ¯?w.s\n~Fopx‡otsvn~zvq~z{n~ E.A ¬ D"B E(D ‚xz{x‡hZgWhZn?xZ² K^hyz\‡‡}gNh

(146) x‡ehyh.¶Fot‚x‡hZn~w.h svª x‡eh—Fsvgzvopn~  !+

(147)  !Ns{ªgNh.xesFSn~zvgWh; ¯ . rs{ªš½\zQ‹z±Ò"z{†‘S‰x‘zxh gNh n?xZ¯Jz{n'

(148)  -"#

(149) svª ½\zQ‹zÒ"z{†‘h ¶DŽ~†‡h;‡‡ops\n~Z¯†‡h;‚Ž9hZw.x‡ot‹vh qtv²Œ¾4s\†‡hZs‹vh †;¯Q¸Åhz\‡‡}gNh"x‡ehyh.¶Fot‚x‡hZn~w.h svª'ª®}~n~w%xops\n~K *

(150) {z{n' ," . ?¯'Fh nsvx‡otnuzWgWh x‡esF4w zvqpq€zvn~—ƒ'sFF\¯†hZ‡Ž'h;w%x‡ot‹vhZqp\²  ¤ Ð  ¥ 6 ¥F£  9 Ð 2ÆÐ   ¤ Ì ¦ (Ð 2 Ñ ®£  9Ð 2 ¢ E#op†‘‰x;¯Ê¸Åh›¸ opqtqŒŽ†hZ‡h n?xyxehNFh.»~n~o´xops\n,s{ªµx‡ehWª®}n~w.x‡otsvn )#%! xe~zx"otµ}~‡hZNxsŽ†svŽ~zvu\z{x‡h Ž†hZw svn~Fopx‡otsvn' ²#d

(151) eotµª®}n~w.x‡otsvnzvn~z{qtF‚h;µzrgNh x‡esFƒ9sFFNopnz›‚h;„?}h nF¬ xotzvqJ¸

(152) zQL FKª®†‡s\g ƒ9h uvotnnotnu4xsKh n~@ F,w.s\gNŽ}Fx‡otnuK¸ eo|w‘eŽ†hZw.s\n~Fopx‡otsvn~svª

(153) x‡ehgNh.xesFwZz{qtqph; ¸ opx‡e~opnx‡ehBƒ'sFFNe~zQ‹\hxsƒ9hšŽ†svŽ'z{u\z{x‡h;Ê² d s}n'Fh †‘‰x‘z{n~x‡ehB†‡h;zv‡svnotnurƒ9h eotn~x‡ehFh »~nopx‡otsvn€¯ ¸"hN¸ opqtqŒ»~†‘‚xqtsDsv·,z{xz{n^h.¶z{gNŽqthv² ¨ }Ž~Ž's?‚h¸"hz{†hNw‘e~hZw‘·Dopn~uxeh KÐ 2-Ì ¢Z£ Ì Ñ7£ ¤¥ 2 ¢Z¥~¦{£  (Ð 2 ¢ Ž~†‡s\Ž'hZ†‚x‰Nª®s\†yz{n4z{ŽŽ~qpo|w z{x‡otsvn€¯F¸ eo|w‘eKw.s\n\x‘z{otn~ zWgNh.x‡e~sD J ¯¸ es?‚hs\nqpgWh x‡esF4w zvqpq|zv†‡hšx‡es?‚h ‡es¸ n€² ,0. F > J G I 88 C"FJ9< >?E< A ?B% D"FJ  +EB"E9>)F"?9C  ]7&6(C$E<J  ;< =(>?@.A.B"?(C"BD$E9>F"?KGI ? 88 D"FJ  +EB"E9>)F"?9C  >$ E 0 >? E.AB)?9C"BD$E(>)F"?  ]7&6(C$E<J  D"FJ-J>E.@ AB)?9C$BD$E >)F)?HG I ? /. . d syw‘eh;w‘·yxeo|-Ž†svŽ9h †‡x‰v¯w sv†h.¬­z{nnsvxz{x‡otsvn~Êzv†‡hµ‡Dn?x‡eh;‚o|‚h;Bª®sv† ;< =9>?@-AB"?9C"BD$E9>)F"? z{n' D"FJ.J>E @.AB"?9C)BD$E9>)F)? ²

(154) d

(155) eh›zvnnsvxzxops\n~ ª®s\† ;< =9>?@.AB"?(C"BD$E9>$F"? z{†hŽ†hZ‡h n?x‡h;Kotn ¨ hZw.x‡otsvn,œ~²p–›z{ƒ9s‹vhv¯ ¸ e~opqth D"FJ.J>E.@.AB"?(C"BD$E9>$F)? †‡h;„?}op†hZ @&3&456$47-@ ;&;  z{n~h n~‡}†hZ @&34&56$47 @<;&;>= ² & "¸"hBz\‰¬ ‡}gNhšx‡e~z{x

(156) n~sWsvx‡ehZ†

(157) gWh x‡esF zv†‡hBw zvqpqthZopn J ¯Dx‡ehsvn~qp¸

(158) zQNx‡ehŽ†hZw svn~o´xops\n°s{ª ;< =(>?@.AB)?9C BD$E9>)F)? w zvnSesvq|Ê¯Jo|ƒD†hZ„?}ot†‡otnuKxe~zxWo´xz{qt†‡h;zvF^es\qtWzx›x‡ehgNsvgNh n?x J o|Nw z{qtqthZÊ²^d

(159) e?}' ¯ xehŽ~†‡h;w.svn'Fo´xops\n¼s{ª ;<"=9>?@.AB"?9C"BDE9>)F)? e~z\xs,ƒ9hŽ~†‡s\Ž~z{u?zx‡h;Ê²ÁÉ­nw svn?x‡†‘zv‚xZ¯#xehŽ~†‡h;w.svn'Fo´¬ xops\n,ª®s\† D)FJ.J>E-@.AB"?9C)BD$E9>)F)? À @ 3&4&56$4&7-@ ;&;  še~z\yxs4ƒ'hNhZ‚xzvƒqtot‡ehZ±ƒDKx‡e~hWŽ9s\‚xw svn~o´xops\n svª ;<"=9>?@.AB"?9C"BDE9>)F"? ¯9ƒ9hZw zv}~‡hNx‡eh°‹zv†‡o|z{ƒqth &@ 3&456$47-@ o|gNsFFop»~hZƒD±x‡eo|gNh x‡esFÊ²K Œ†svŽF¬ zvu\z{x‡otnu°xehNŽ†‡h;w.s\n~Fopx‡otsvn,svª D"FJ.J>E.@.AB"?(C"BD$E9>$F)? x‡s—x‡e~hWŽ~†‡h;w.svn'Fo´xops\n~Bs{ª J ¸Ås\}q|Ánsvxe~h qtŽ xsNuv}~zv†zvn\xh hšx‡e~z{x x‡ehŽ†‡h;w.s\n~Fopx‡otsvn—s{ª D"FJ.J>E.@-AB"?9C"BD$E9>)F$? esvq|Z²Jd

(160) e?}' ¯s\nqt°Ž†hZw.s\n~Fopx‡otsvn~ h ¶FŽ†‡h;‡‡otnu›Ž~†‡s\Ž'hZ†‚xoph;

(161) s‹vh †

(162) }n~gWsFFop»~h;4‹Qzv†‡o|z{ƒ~qph;"‡es\}qt—ƒ9hrŽ†svŽ~zvu\zxhZÊ²J J†‡s\Ž~z{u?zx‡otnuWŽ†h.¬Jsv† Ž9s\‚xw svn~o´xops\n~w zvn4ƒ'hw svn~‡o|Fh †hZ4zvŽ~zv‚otnuNsvnÁzNgNh x‡esFKw.s\n?x‡†‘zvw%x;²"¾4h x‡esFšw zvn—s\nqtŽ~z\‡ s\n,w.s\n?x‡†‘zvw%x‘ª®s\†š‹zv†‡o|z{ƒqthZx‡ehZÁFs—ns{xBgWsFFopª® €opªJx‡ehZKgNsDo´ª®,z‹z{†otzvƒqph›o´xo|yxeh ot†F}Fx‰4x‡s hZn~‡}†‡hBxe~zx xehnhZw hZ‡zv†‡°w svn~Fopx‡otsvn' z{†hzxot‚»~h;Ê² É­nKxehNFh.»~n~o´xops\nÁs{ªŒxehª®}n'w%x‡otsvn )#%!ª®sv†BŽ†svŽ~zvu\zxopn~uWŽ~†‡h;w.svn'Fo´xops\n~Z¯'¸"hzv‡}gNhrx‡ehWh.¶Fo|‰¬ xh n~w hs{ª#z›ª®}n'w%x‡otsvn  .W†h.x‡}~†‡notnu›x‡eh‡h.x svª#‚xzxotwBu\es\‚x"‹zv†‡o|z{ƒqthZ"gNsFFop»~hZƒDzN‰x‘zx‡hZgNh n?xZ² & W¸Åh—z{†hsvn~qpotn\xh †hZ‚x‡h;Sopn¹‰x‘zxotwuves?‰xW‹z{†otzvƒqph;¸ opx‡e¹Ž†opgNopx‡ot‹vh°x‰DŽ9hZZ¯Œx‡e~h—Fh »~nopx‡otsvn ot ‚x‡†‘z{otuve?x‡ª®sv†¸"zv†zvn~°opxyFsDhZ"nsvx

(163) e'zQ‹vhšx‡sw.s\n~‚o|FhZ†

(164) zvqpo|zv‡otnu~?² E}†‡x‡e~h †;¯F¸Åhrzv‡}gNhyxehh.¶Fot‚x‡hZn~w.h svªRx‡ehsvgz{otn~ K

(165) )##svªŒ‚xz{x‡o|wruve~s\‚xy‹z{†otzvƒqph;z{n' 8# !'s{ªŒŽ†hZFo|w z{x‡hZZ¯'w svn?xzvopn~opnu°‚xz{x‡o|wruve~s\‚x ‹zv†‡o|z{ƒqthZ"s\nqp°¬J¸ o´xe4ª®}n~w%xops\n  ?¯†h.x}†nopn~u›xeh‡h.x s{ª#ª®†‡hZh‹Qzv†‡o|z{ƒ~qph;Å}'‚h;otnKzWŽ†‡h;Fo|w zxhv² K^h^h.»~nh )# !,s\nÃgNh.xesFn~zvgNhZZ¯y‰x‘zxh gNh n?x4zvn~Çh.¶FŽ†hZ‡ops\n~ ² d

(166) eh;‚h^Fh.»~n~o´xops\n~4z{†h g›}Fx‡}'z{qtqpW†‡h;w.}†‘‡op‹\hv² ½\zQ‹zÒ"z{†‘WzvŽŽqth.x‘Œx‰DŽo|w z{qtqt›Fsn~s{xÅw svn?xzvopnKÀ®g›}Fx‡}'z{qtqpÂR†hZw }†‡ot‹vh

(167) gNh.x‡e~sD w=w uxjy"z"{8|.

(168) –;”. &83/"# V! $ ! ,

(169)  J#. wZz{qtqtZ¯cx‡e~h †h.ª®sv†h›x‡eo|rFsDhZnsvxw z{}'‚hNz{nDKŽ†svƒqth gZ²NkBhZnh †‘zxopn~u—zvŽŽ†svŽ†otz{x‡hWz{nnsvxz{x‡otsvn~yª®sv† †hZw }†‘‚ot‹vh›gWh x‡esF¸"sv}~qt,†‡h;„\}~op†hgNsv†hNw z{†h4À=z{n',otn±u\h nhZ†zvq opxrgNopu\e\xrnsvxBƒ9hNŽ's?‡‡otƒqphWxs—Fs ¸ opx‡e~sv}Fxyzvn?}~‚hZ†

(170) opn?x‡hZ†z\w%xops\n'Â%² —Ì 2 «£  (Ð 2

(171)  Q J . $ "!3,RP  ?). pre : MethName → P(Pred) pre : Stmt → P(Var) → P(Pred) pre : Expr → P(Var) → P(Pred). . . m, n : MethName s1 , s2 : Stmt c : Expr. pre(m) pre(s1 ;s2 , V ) pre(call(n), V ) pre(if (c) s1 else s2 , V ) pre(try s1 catch (E) s2 , V ). = = = = =. . V : P(Var). pre(body(m), ∅) pre(s1 , V ) ∪ pre(s2 , V ∪ mod(s1)) {p | p ∈ pre(n) ∧ fv(p) ∩ V = ∅} pre(c, V ) ∪ pre(s1 , V ∪ mod(c)) ∪ pre(s2 , V ∪ mod(c)) pre(s1 , V ) ∪ pre(s2 , V ∪ mod(s1)). É­nÇxeh,†}qthZFh.»~n~opnu )# !Ksvn . °z{n~ -)#³¯

(172) x‡e~h±‡hZw.s\n~Çz{†uv}~gWhZn?xFh nsvx‡h;x‡e~h±‡h.xsvª ‹zv†‡o|z{ƒqthZ"xe~zxše~zQ‹vhrƒ9h hZnKgWsFFop»~h;K‚sNª=zv†Z²(KÇeh nÁwZz{q|w.}q|zxopn~uNx‡ehŽ~†‡h;w.svn'Fo´xops\n—ª®sv†yzNgNh.xesFÊ¯ ¸"h°w zvqtw }q|zx‡hNxeh°Ž†hZw svn~o´xops\n^svª o´x‘ƒ9sDv¯Rzv‚}gNotnu4x‡e'zxns,‹Qzv†‡o|z{ƒ~qph;e~zQ‹vhNƒ9h h ngWsFFop»~h; ‡sNª=z{†;V² Es\†šz‚xzxh gNh n?xšw svgNŽ9s\‡o´xops\n€¯~¸"hr»~†‘‰xšŽ†‡s\Ž~z{u?zxhšxehŽ†hZw svn~o´xops\n~

(173) ª®sv†yx‡eh»~†‚xš‡}ƒF¬ ‚xz{x‡hZgWhZn?xZ¯µzvn~Sxeh nª®sv†Wx‡eh4‡hZw.s\n~‡}ƒF¬­‚xzxh gNh n?x;¯Jƒ}FxWxzv·?otnu^opn?xs^z\w w.s\}n?xxeh‹zv†‡o|z{ƒqthZ gNsFFop»~hZNƒDWx‡e~h »~†‘‰xŇ}ƒF¬­‚xzxh gNh n?x;² KÇe~h n°Ž†svŽ'z{u\z{x‡otnuBx‡ehyŽ†‡h;w.s\n~Fopx‡otsvn~Jª®sv†ÅzgNh x‡esF°wZz{qtq@¯ ¸"hyŽ~†‡s\Ž~z{u?zx‡hBz{qtq'Ž~†‡h;w.svn'Fo´xops\n~Ås{ª-xehw z{qtqthZ°gNh x‡esFxe~zxFs›ns{x w.s\n?xz{otngNsFFop»~hZ‹z{†otzvƒqph; ² ¨ opn~w h

(174) ¸Åh

(175) z{†hņhZ‚x‡†o|w%x‡otnuBsv}†Œzvnns{x‘zxops\n~ x‡sBh.¶FŽ†hZ‚otsvn~#w.s\n?xz{otnotnu‰x‘zx‡o|w"uves?‰xR‹z{†otzvƒqthZ svnqtv¯ otn x‡eh4†}qphª®sv†NxehKw.s\n~Fopx‡otsvn~zvq

(176) ‚xz{x‡hZgWhZn?xN¸"h4w z{n~ns{xWxzv·vhx‡ehKs\}Fxw svgNhsvªyxehKw.svn'Fo´xops\n~z{q h ¶FŽ†‡h;‡‡otsvn—opn?x‡s°z\w w sv}n?xZ² & zw.svn'‚h;„\}~h n~w hv¯F¸"h‚s\gWh x‡otgNhZ u\h nhZ†z{x‡hx‡sDs°‚x‡†svnuzvnns{x‘zxops\n~ ¯ ƒ~}FxšotnÁŽ†‘zvw.x‡o|w.hxeo|šFsDh;nsvxBw zv}~‡hŽ†svƒqth gZ²š¾4sv†h s‹\h †;¯opxB‡esv}q|Kƒ9hhZgWŽ~e~zv‡ot‡hZKx‡e~z{xyx‡e~ot s\nqt^wZz{n¼gz{·\h°}~›†‡h‚ˆ‰hZw.xWw.s\†‡†hZw.xz{ŽŽ~qph xZ¯Œƒ}FxNo´xW¸ opqtqÅn~h ‹vhZ†gz{·\h°}~WzvwZw.h Žx›otn~w.s\†‡†hZw.xsvnh; ² ¨ opgNotqtzv†‡qtv¯\ª®sv†µx‡eh E.A ¬ D"B"E(D ‚xzxh gNh n?x;¯\¸"hšzvqp¸

(177) zQFŒŽ†svŽ~zvu\zxh

(178) x‡ehšŽ†hZw.s\n~Fopx‡otsvnNª®s\†µxeh D"B E(D w qtzv}~‡hv¯c¸ o´xesv}xrw‘e~hZw‘·Dopn~u¸ eh x‡ehZ†Bopxzvw.x‡}~zvqpqtKw z{n±uvh xBh ¶Dh;w.}FxhZÊ² & u\zvopn-¯cx‡eo|B¸ opqtqŒsvnqtKgz{·\h }'

(179) †‡h‚ˆ‰hZw%xyw sv††‡h;w%x z{ŽŽ~qph xZ¯Fƒ}Fxopx¸ opqtq€nhZ‹vh † gzv·vh}~ zvwZw.hZŽFx opn~w sv††‡h;w%x svn~hZZ² ys{x‡o|w.h›x‡e'zxrƒD4h.»~nopx‡otsvn-¯Ê¸ÅhWe~zQ‹vhx‡eh›ª®svqtqts¸ opnuŽ†svŽ9h †‡x‰ª®s\†yxehWª®}n~w.x‡otsvn "#%!—À®¸ ehZ†‡h s o|

(180) h opx‡e~h †otn . Ås\† -"#ȯzvn~ V o|zN‡h.x s{ªŒ‰x‘zxotwBuve~s\‚x

(181) ‹zv†‡o|z{ƒqthZ‘Â%² ,0. -0. )# ! (s, V ) ⇔ (p ∈ )# ! (s, ∅) ∧   (p) ∩ V = ∅) ¤ Ð  ¥ 6 ¥F£ Ð92ÇÐ   Ð ¢Z£Z¦ Ð(2 Ñ® £ Ð92 ¢ É­n4zN‡opgNotqtzv† ¸"zQ\¯D¸ÅhrFh »~nhª®}n~w.x‡otsvn~ " )

(182) z{n~ !! )*$" ".¯ p∈. . w svgNŽ}Fxopn~uNx‡eh‡h.xysvª#Ž9s\‚xw svn~o´xops\n~ z{n~—h ¶Fw h ŽFxops\n~z{q-Ž's?‰x‘w.svn'Fo´xops\n~"x‡e'zxye~zQ‹\hBx‡sƒ9hrŽ†‡s\Ž~z¬ u?zxhZšª®sv† gWh x‡esFrn'z{gNhZZ¯;‚xz{x‡hZgWhZn?x-zvn~h.¶FŽ†hZ‡ops\n~ ² d

(183) ehJgz{otnFo 9hZ†‡hZn~w.hJ¸ opx‡ex‡eh"Fh.»~n~o´xops\n svª "#%!No|Bx‡e~z{xx‡ehZ,†}n,xe†sv}u\e±z—gNh.x‡e~sD±ª®†svg xehNh n~±xsxehNƒ'hZuvotnnotnu~²°¾4s\†‡hZs‹vhZ†Z¯9x‡e~h  e'zQ‹vh"x‡srx‘z{·\h opn?x‡sz\w w sv}n?xŒx‡e~hyFo 9hZ†‡hZn\xŎ~zxe~Rx‡e~†‡s\}uveWx‡e~hgNh.x‡e~sD€?² E~sv†Jh;zvw‘eNs{ªcxehZ‡h Ž's?‡‡otƒqph Ž'zx‡e' ¯Ê¸"h›wZz{q|w.}q|zxhx‡e~hNzvŽŽ†svŽ†o|zx‡hÀ®h.¶w h ŽFxops\n~z{q«ÂŽ9s\‚xw svn~o´xops\n€²rd

(184) eh›s‹\h †‘z{qtqÅÀ=h.¶w.hZŽFx‡otsvn~zvq| Ž9s\‚xw svn~o´xops\nWo|Rxeh n°Fh »~nh;zvRxehyFo|®ˆ‰}~n~w%xops\ns{ª9x‡ehŽ9s\‚xw svn~o´xops\n~Œ†h q|zx‡h;›x‡sx‡e~hyFo 9hZ†‡hZn\x Ž'zx‡e'"x‡e†sv}u\exehrgNh.xesFÊ²  w .

(185) –\–.  

(186)     !"

Références

Télécharger maintenant ( PDF - 22 Page - 440.22 KB )

Documents relatifs

Étude et optimisation de l'utilisation de détecteurs à gouttelettes surchauffées pour la détection de la matière sombre

cosinus (en bleu à gauche) et d’une droite (en noir à droite) sur les données simulées pour 4 années à une température de 45°C, avec un bruit de fond interne réduit de 100,

Réoccupations funéraires de séputures collectives néolithiques dans la boucle du Vaudreuil (Eure)

Florence CARRÉ ~ Réoccupations funéraires de sépultures collectives néolithiques dans la boucle du

Étude numérique des premières étapes d'agrégation du peptide amyloïde GNNQQNY, impliqué dans une maladie à prion

2 Vue plus en détails dans le chapitre 1... 2 phénomène d’agrégation des protéines amyloïdes en fibres et d’autres facteurs impor- tants doivent être pris en compte comme

The Maximum Norm Analysis of a Nonmatching Grids Method for Nonlinear Parabolic PDES

In this chapter, we prove an a posteriori error estimates for the generalized overlapping domain decomposition method with Dirichlet boundary conditions on the boundaries for

La dame et l'écureuil. Le sceau allusif de Nicole de Nouvion (1300)

Revue française d’héraldique et de sigillographie – Études en ligne – 2020-10 © Société française d’héraldique et de sigillographie, Paris,

Cirque de Mafate

Dans ce cas, comme les coulées du Bras de Sainte-Suzanne appartiennent au massif de La Montagne daté à plus de 2 Ma (McDougall, 1971), l’ensemble des coulées pahoehoe

Long-term neurologic and cardiac correction by intrathecal gene therapy in Pompe disease

In infantile Pompe disease patients, the glycogen storage diffusely affects brainstem motor and sensory neurons, and the whole spinal cord sensory neurons, interneurons, and

ANRU : Mission accomplie ?

De ce point de vue, il est possible d’affirmer que la mission est accomplie : les projets de renouvellement urbain (GPV et ORU) élaborés depuis 1998 dans une centaine de villes