HAL Id: inria-00565273
https://hal.inria.fr/inria-00565273
Submitted on 11 Feb 2011
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished 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.
Practical multi-candidate election system
Olivier Baudron, Pierre-Alain Fouque, David Pointcheval, Jacques Stern, Guillaume Poupard
To cite this version:
Olivier Baudron, Pierre-Alain Fouque, David Pointcheval, Jacques Stern, Guillaume Poupard. Prac- tical multi-candidate election system. Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing : PODC 2001, 2001, Newport, Rhode Island, United States.
pp.274-283, �10.1145/383962.384044�. �inria-00565273�
Practical Multi-Candidate Election System
Olivier Baudron and Pierre-Alain Fouque
École Normale Supérieure Laboratoire d’informatique
45, rue d’Ulm F-75230 Paris Cedex 05
David Pointcheval and Jacques Stern
École Normale Supérieure Laboratoire d’informatique
45, rue d’Ulm F-75230 Paris Cedex 05
Guillaume Poupard
SGDN/DCSSI DCSSI Crypto Lab 18, rue du Docteur Zamenhof
F-92131 Issy-les-moulineaux
[email protected]
ABSTRACT
! "#$%&'&(&)*+
%&,$-$/.012+3!#.4)56!%7
68))"9!(:6&%!6&+!";-!< 8=,>@?A
+%-%BC+."(&3B"%& / 96!88DE/!((!')
! "F!G6-' ,G%&=+H%6!3F8;B3!8A=,H
-(I36!2!$!2J*8K *6L6&!8>
M6!C "H'.(!(NO!%3 P%&DEQF-(
,3!8A=R+>TS#6!.U ! "*3!/(RV
WO5=&%2=&2 X-(YZ "5'/(\[DE]N!/.4/(
%&,9C!^,6!>_!`\ ! "a':C=b% /
-(::3B"Cc",8=` "% ",/(IK/F2=&2 @>*daeNf
gJh-ijGklFm
" "%!!<=&%2=&2 "H
m
&Don1(68A=+pq2D
6 "%rH&W< /rsF!JC "H,&!Q(*=&% %!,=
t
hBuwvkx/yzj
e
urx*kx{x/yGk|L}
eN~
yGQ{!i5Gi e k e
ux{!xhBu|
1. INTRODUCTION 1.1 Motivation
p1!1!+ ! "1+r%,.4 58D
/. <$/23-F.4q$6!%"r68F
*9!(:6&%!6&J;-! =,>aK"%,@%& 8D
! 96!88DE/!((!'"2=&2 P!F</3H,3!H
-(J/) 1,=LN6! 93BOB%-'%!,F!(9/-((>
?o` "2+!%&N6!q.]BHw!:E=, '!%-' (
.4CV*/R!8=\/25:3B,/ @!"3BV6!/(
+ !/z>J6#!# "N(&G$!+% /O
66-8=:!*6!(K!(C"9/29!"N6!"Z((8D
w>a'/H<Z@% /2=&2 @Hw! 8=:!6(K3B
"%!6&/(I+(8,$$` (q),/Hr-
-(@!!G6>#!/^,6!N8=,H!L7 ! "$.
%&%BqF% C8=",/()Q'q6%!F-(
96!8%!/-((O.48!%B38o=%!& 8= D
%6 'w>a'/H-%N61.]Nq!/+!#(&3B/(a
.41*2=&2 13B,$!4 "%!6 '
8=KK, "/(&Q'=96CKJ,HO--(
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee.
Copyright 2001 ACM 0-89791-88-6/97/05 ...
5.00.
-'-G6!8>#!J%-' 3Bo.7q/%!%B/'
53B)*!DE=&% %!L/'6>
m
'./H`"% C
%B,zN.+HN!/3Bq6!/("L/(61#2 #24
/CK,/6&!o=`-(a/(6)" "%6 -F2
3,=7(23!6&!5O!J/6L+ !C]N!*!J%,>
!CH8q1Fq "%B $*((&4!+/3!8D
8A=*%&3! _z.#.,(&%!/="!2=&2 @>Fa'4!
!a+(!%/(I*&6 "6#%& /F86!#.4!
,/r6!84%,1"6-3+& *r>
1.2 Related Work
<C "JHzNHr&Hw&HO/NHwO.9;2$(&3B/(
3,=7!V8>p1G!!5C "q% *8=(6
8=E=, '!:>b.KC "N("!/@3BV%D
%B(a)'/>
?AV!b ! "H:*!*!"@3Bo.V
6&!4J-$¡¢B£V/¤oDo6DEQD! /*'48/><¥q¦N/H
/C"68A=J "%!6O<=&%/(J-'- 8=-(
;-!8=JO/2G¢£*68G6!(L3B q6!8=
"%!6q!# 8=,>
"C§C¨9©ª«¬8q6!@!!" "N(&Z.4!CV4D
+!(@!8+=&%/(I$5! 93!!C/>L#!
!L " "%!#%%BCA=<!+=&%&2=&2 @H!1N8o=
"%!69!5=&%/(K 8=ZR7%!63!8=Z8;B3!.=,>
!wH!F 93!!w. (&<z16!8<-("¡¢£*/¤oD
6&DED _6!("'!q =*3,="6!!9L(
=&%2=&2 @>\!" "N()% *4" " )6!/D
J3BCA.KL!(:6&!>
m
!HzL.)6!"8/H
.+/(9(a=&%&2=&2 @>
?A`!L%-%BC/HO.5((&JY ! "+.4!* )68D
%!@-(&(!"/V3Ba *!/(r>ba6!88Do-(&(!a
! "!/$3B5;!24N2'/(a3,= "C§C¨©ª«O:'
!(:6&!926-(&(Kb8>:?oK!JQ2 ! "HO!* D
%!6& `!) 8=/.4L¦&%B,8=.48!N6! 93B
<-(&(!L®¯$¡¡o° ±¤²³z´C¤.4!C$±#4!$N6! 93BOC
!(9µ@$N6! )3BCO-(&(!>
!#=&%2=&2 _<WO¶'w%'NQ(&1c",1(CD
=&%I8! ·4.O1+Q'2#3--(&.4(NI "!
w=&%2=&2 "46") %(&,1" "%6#L(
8! @>`Y4!6! ",J*!* *: "%BD
!N<L(* )6!88DE/!((!'5 ! "!();-!8=
`&!Q(Vb$!*=&%2=2 ¸%!%B/(RP8/¹'
!(5.4/('(a-(%B-(&,=*364CqK8>
?AY92"%!%B/HF!6&!)-/5.º-(Y!
%B,FBN.\WO ! "-(J%'NQ(&4!CO&D
-(&(!a! ! ".a *(&36.48V`(&8,
C=%& %!%&,A>`5 "%!¦&8A=`45%&,1)D
8 "&6 )3BG/-((<.4! "%¦&o=
z6//>S#q!-!(rHB86! "%!¦"[CD
]N'.4/(&4%,r )6%/'wH!(9-'/%BN8=
*]#$ "%¦&O!#o. ! " "%! 3!#q
*wN6! 93BO/!((!'>
M6!C "H!8F%-%B^,6!84(8,F 6%-%B
).J=@53!6!(73-F2=&2 !(7+!8=7=&%D
%!% "8>+:)-/)5N`9.46&8A=
/6&#O!+!2=&2 @>a'C/HB6&q6I ]
,"6,#!N=& "8A="-(5%DQ!q%&%B>
1.3 Achievements
S#6&a!Z2=&2 »c",@-(R¼!¦&3!\Z ]
,56!,q!9(8,q! ,=I>$!J!.½!
! "I6-' ,"@/.4!Z/^,6!8 ",®7%=\
H<%6!3!*8;B3!8A=,HG3!6!2-(`%D!>
#¾-¿ ÀÁ©ÂÃ5Ä2Å$ÆNǧC¿CÇ#!6&-'19#.4w3B$]%
Q ½,=+8)¢w6&!w.4!F¢wO2=&2 T%- D
C/>L¾!Æ!ȪÀÂJÁ§C¿ ÀÉ©ÈÀªÀ¨Ã*!6&4-qN=%-'A=5!6!(&D
#6&(3!G/9N&8!!GC)
81!()-'!1%!63!!/() =*8=" "%!6&/()
3!!).a8=Z/2/>Y¥#C¦&/H<¿2ÄÈÆNÇ ¨ÊB§CÇÇ
# ! "*69-9!52=&2 X/Y 68A=
68q.4)=)C/#(6&)!+ "%!6& O
=,>FMG!8=,H9¿§Â §CÀ¾-¨ËÅC¿§ §CÊB§CÇÇL%%BCA=*6!
+!#26!L"%&+%'N!"!JNN#!
+a (4"/Q(,3!8A=@-(\A+3!6&=>
1.4 Outline of the paper
?oK\NHG.5%&,L!"[/Z!"
2=&2 @>b!rH.@q@3-IC=%& %!a,
WOL=&%&2=&2 @HB&!Q(I(&=&%7 ·
C "H!(Y "5[DE]N!/.4/(&a%&,/(Y
N1O!+(&CL' º%3 @><?AIÌ&H-6&
"%!# ! "-(L2=&2 ½<(&3B/(r>OMG!8=,H.
(&6!4 "1/(56!46! !q% /r "%¦&o=
97C "H4!,=& "8A=\J6!C@!(bK%DQ
w>
2. ELECTION ORGANIZATION 2.1 Architecture
?oK!)Y.5%NYª©¿Í,§Í¿2ÄÆ'¾BËoÄ¿CÀ§CÊ!¨o§ÎKÇ ÃǨo§CÏ
!/b3B76/(Ra!&DE.4(&`C!>0?o !H
""![/'-2 ,9!/@3B"/'68=` ]
,"6,/>
M1¦ "%H!!$/.4*2=2 U%&,*2(&"D
!4I9/z8+!@®
>4!,/4,(/).48\8;-/'V#56
!(@8;-4!qCq/I+!8=@!>4!L,/
6&!`8=Y)q5>:!
]5/I"3B$ ! ]/(53,=5,=&3BN(&=5>
,>4!,/!NCF-(),/6<$#!!,
-'1qz,/w HB8;--'4,/G,
,F& *'*!() "%!6G!-!D
6!8>
N>4pq1!$,-(V-$6!8*K!I!D
!NCw.4 + "%!6rG;--68O!($C ]&
]N>
2.2 Candidates
?A\!@ "%2*/H4@ "55C,!:!
.4!6rC !-(&(!>F!4/!((!''4%B&D
8=Z%!,=&/%B%!H)o=, '!:(&wH*,=Z3 '=
94%&%B8) "a.4! ZaC*-Ja3B" *(>
!C=Y*6&!)(-'/(Y3N=`!*N6! 93B)Ð,ÑNÑ/ÒÒÒrѵrÓ>
!C=a *=*!6!(+:oN6!" ",/>
2.3 Players
!J'C6LN1C zN8##(8,1,D
>
Ô
h-x e i
pPq$2C/(I%BI.4!"#'./(I"¦ND
%19$$L/!((!'>1C73!$!4!
"#.,#5!#;!-6/>
Õ
hrÖ{!{-yzx×zh-ix
f?o\,/q'/&H3-*a/(\3N=
7,/46&!8o=K.4!497 "%!6&**,
6!8q!(5.' (@q'#J!w>
}
eN~
hBuz{!{-yzx×zh-ix
fpK-!68A=$G,/&CD
6!85-(V "%6@!#6!8*.4!CR*D
. (&/()$-'-G6!8A=,>
t
{x/hBuz{!{-yzx×zh-ix
fpF!%5H!4-'-B6&!D
o=LO-&6!8H,-(L%!6!3z</C9/&D
((!'$!# r&6 )3BO>
Ø
iyGkx e j Ø
Ù e`Ú
x{BÙ`
!w%!=,r6! ,w-'G%Q=,C
-4/(3BCJ) a ">
2.4 Communication Model
!* " )6!/Y "N(F.*6!5I%!63!53&(/2
-!w.47 " "=@-(I/3BJ "%! ",/(5.4"3!68D
73B (K8CE>#pqw " 96!!/'a.48I!L3!6CI3B (
J%!63!L!(@/I3BL6!8=@ "!8(r>¥q"%-'A=/
*,=& *`3!6L :L/`,L!L%-'L
!#3B (>
z+,4!"3BA."-(943!6!
3B' (rH!I1Nw 96!243B$6/(r>
2.5 Security Requirements
<I ! "^N68#!$'.45%&%B+®
Û
iÜ&{-Ö
f!5%=:q6!9!6&9!7".443B
]%44 º,=*¢ADEIF6&!>
Û
yzÝOÖIÜ
e
iQÞG{!ÝOx
f?E@65-'I,=b%!o= !6!(!
3!C1/@NNL!O!1!+CI18
-(ß-7Y%!6!3/(T 8=½8=P "%!6&/(
à+3-1!.C+C=/2/>
}"h-ÝOyGkxu
e
k/k
!3!62!O! ! "!6&G-'G!
2=2 / '# "6!8o=*6&!8F.4!+=)
C/q(6&!9$ "%!6 'aO!# =,>
á
uzhBu
f
Ù:Qx
f+/2q3,=*46!(a3B#!(!(&w>
} e Ö e
Gxvâwi eNe
u e k/k
!O%&DEQG%%BA=q6-'
#C 96!2OF3B43$26!#%F%'N!
!$,,4<!4>
2.6 Other Attacks in Voting System
S#6&G!12=2 T ]ONq6NzA.q(8NO ]N
!q%%B/4.4.$.,436!(a) "%!+2=&2 @>
ã
urx
e
iÙ
e
jGQ{!i f á
yzx/×wh-ix/
e k á
xx{-Öä
5' ]\N
, "/('=b6&!.4!Y=RYQ=b!7;-!
61O!$!!w68A=,>
}*yGk/×zu
~ á
xx{!Öä
pO6&1 "B!$2=&2 @H
!9,/6&!8$/O!$,< 8=,>))2=&2D
/53B1%/(+.42 !($6!!9 ]
6!C.4!+=9$8="1 =)8w=9.86!8
O$,/z6&!8o=5)>
3. CRYPTOGRAPHIC TOOLS 3.1 Paillier Cryptosystem
s6!*=&%2=2 "3-/(VR !( "[(\=&%
! "å"¡Eæß¤F.4! 5!=&%J "$æç3N=9 !)J3!D
+è@5!%B/.C9æé-(`68 3!8=7 !( "[q6!8
!/*3BK%&%B(Z@a/¶NH4HNHêNH¶/E>86D
8o=Z"3!/(ZZ!N 38o=Z$6!YoQ(&6!o=&
%&3 ">+pq#7 "%B N#/^,6!JF!#=&%
C!^,6!HN!+C "!'+! " "%!#%&%B>
3.1.1 Homomorphic Properties
=5/a3B+& *8=a2 '/(@'.4®
å"¡Eæ
´
£aæKë/¤<ìbå"¡Eæ
´
¤Bí+å"¡EæKë¤î!(ïå*¡ð#í+æT¤<ìbå"¡EæT¤ñ
23 9%%B-3L* "%!6&$.4ID
C=%&/(@6!4.48!6q]&/.4"!L,,qF%!¦N>
=\a6!6!.4!\!a!,= "8o=K#6!"/^,6(r>
M$C¦! "%!H-.L/7 "%!6+L =a.46&$(&=&%!
@L-(*!+/@6! N$!+%=5O6!>
?o !7KC "H1:N5+!7<ò$ *
!=&%5 ! "J8-3B*.4(&8="6!/(>O?A2/("wD
C=%&!óP.48"¡è
ñ
"N(qµwÑóaô
ñ
"N(1µ¤CH/.< "%!6¡è
ñ
"N(
µwÑ2è&õqô
ñ
"N(1µ¤C>½q6!!8=,H6C :C "I/!!53B
!(&/(5+ %(&,4(&C#8! _C "43B/6
@ %(&,C¦2L7(C "óö:è&õ "N(qµz>Ipq,=ND
.=,Hß2Na ! "HB!J=&%2=2 ·!8=I *&D
4 *N6! 93B3B6!q!#N6 )3BO "8/(
-(Z/ R"KA`ZC>b!^N6,8=,HF 8=
!3B=91-("¦&-62/ */.4+
$6!8/>
m
/.C/H'L 96!88Do-(&(!<CLC "!< 8=+/
3B "FC<3B/6N(!1 *,=#/!((!'G/D
+3BL/(&6!/(7-(I8.J.Nq,&6J5 "%!6+
(&8,z68H.!/F46L!N(&!1[9÷5¡8µíqø±ø¤CH
.4Fµ"<!4N6! 93B<r/-(&Q(!(Iø±ø<!4[4
N6 )3B#6>)M!L¦ "%!Hw5!!F` *=ID
aa/!((!'L!(`N6!!(&/(I "!++!/($
3!8A=a=&%9êêDE3!8L ">*?o:6! K%!%/'!H
< "N(8;-/(#FQò$ *,C "O/+!4!G3B<6/($!F¦ND
!62/'CrHG "c,O "!N(&w]F-(C¦+/66!
8 @H-/!!1c",8='4!$ 8=,>pT6I
16! %(&,<(&C8 PC "O.4893!-(ND
.4(N6! )<¥$/ !DAù,a/H&S#] "DoqC8=N *+ê'EH
qWO)¶'>
3.1.2 Description of Paillier scheme
WO-O%,/(+8=J/(J6! )=&%&2=&2D
":¶'>FK$!8=/w#;!24!>
ú
daeNfTû5e
u e
i{x/hBuF|aü
LýX3B)`n$ù&p0 "N(&6!6!#ýXì
µ-þ&H.4!1µ!(aþ"J% "+,C>
ü
1èa3BJI&D
w (C4J 96!8%!1zý· "N(69ý
ë
>F!#%6!3
]=#ÿ ì0¡ýaÑè¤4-(L#]=ìz¡ýI¤
.4!z¡ýI¤1(C;-!(z¡ý@¤ì ß¡¡8µ V/¤¡þV/¤¤C>
ú uGÖi
f
Gx/h-u|
z`!=&% "IæHF &D
( "8=b !,T !(¬ "%!6&`%!C¦&
ìbè
"N()ý ë >
ú
e
Öi
f
zx/hBu|
z4(&=&%
H' "%!6&Fæ ì1¡
!
"N(
ý ë
¤#"$4¡è
!
"N(ý
ë
¤O "N()ý.4<!%ODE6!+ ]
\!%6 ",) X!5'& ì Ð)(*Uý ë ø(ßì
4 "N()ý7Óq-(J "%64¡+(¤Fì-,
³w´
><ù&%%B-(&8¦
/&>+161(C >
3.2 Threshold Version of Paillier Cryptosys- tem
?A7 (+5%,+6&!$5/!JL-(@
%w!<%=#6!H'.F/+6!&!(LL
WO$=&%&2=&2 @>F!CHB!2/(@O "C8=@(&=&%
!)!=&%&/(7 =,Hz/ Y6!8A=6!L \$a-
89J]=@-'9J/2J¢+6!8)'*^N68/(
(=&%1)>
3.2.1 Threshold decryption model
!L(&=&%@%,#!6!(!$/.4%/=+®
)3!/H-C#< :C#ÿ/.2H--(6!>:+(1!
/.4!*-@®
ú
?A""8Q[5%!!H4F6!1+(23!6&/(
]= 78 U"+!L%!63!+]=aW10
-(`)-"ù203.q4"%'*]=Kù20)>z@CD
"1#6!2/(5(/H8',HwÌ>F¥#¦N#C
%!6!38;-@]=&s0)Ñs04.2>
ú
z$=&%<# "H,,=J6!C969!C=%&
º6!!)$%!63!+]=5W%0>
ú
z"(=&%1)%!¦N
H!!# 93!!. (
!C><#!$8]=&ù50 . -(988D
;-/']=&Os0)Ñs04.2H/ CF6!G(C=%&
!(6%!6&+%!(=&%
. .48K
%,(&o=I!9%-(&=&%%&,
.
>9MG8D
-8=,H<!5 93!!C6!9!5 )3!
'$/C¦&48O!65%-'Qz(&=&%!4
(>
!4 ! "$4%,/(I%!%B!(8¦7/&>,>
3.3 Zero-Knowledge Proofs
ò#+=&%WOC/H.ON.:'6!r[Do]N'.4/(&
%,!F!4C "12;- "4%%B>OK
"%!8=72 .4!J/:3B6- ,/(:3,=c)¦a!%&,
O$=&%r>%6$ 1L%'N(/(*I%%B-(&8¦&>&>
3.3.1 Proof of knowledge of an encrypted message.
bI/'59!=&%I* "98$#%B3
%&#-'4!L6-=a]N!/.4!+=&%/(* ">
ü
Cý¸3B5ð,DE3!8Jn$ù&p_ "N(66!>`ò#
ìàè õ7
"N(
ý ë
H&!+%&1ÿPNN!4+8;-C80-'4!+]N!/.44ó
"Q'4*S#] "¹'G-(aò#6!6D:9#6^,6!J8<;'E>
K#!=3>@?#!+^,6,4a!+(&&a%=*3,=A?>
>ÿàC,9+ -( BCC -(DEF > m
" D
%!6G(aìRè2HID
"N()ý
ë
!( " "8 (z>
pk
2pk
3pk
1Regional Level
pk1,1 pk1,2 pk1,3 pk2,1 pk2,2 pk2,3 pk3,1 pk3,2 pk3,3
Local Level
National Level pk
â4
~
yzi eJ
lLK)i
~
{!uGNM{x/hBubhPO1x/×
e
{-ywx/×zh-ix/
e
k|
,>Q8 !,1) -R4:&ÑTS9&-(-(QR$"ÿ)>
N>4ÿZ "%6VU9ìWXQR/ó_ "N(ý`HZY ìD 7
³\[
è H
³\[
õ
^]X
"N(
ý!(a!(! _A8>
Ì&>Q8 !C]N-'è2_
[ Y
ìW(* "N()ý ë >
3.3.2 Proof that an encrypted message lies in a given set of messages.
!\!C=%&!`: "H8*"%B3!@:%!%B-(\
%&,-z! "O91%6!3/&ZìTÐ'ó
´
ÑÒÒ/ÒrÑó
² Ó
µ@ "4.48!6&/*,=*6&!4 *'w>
3.3.3 Proof of equality of plaintexts.
!\!C=%&!`: "H8*"%B3!@:%!%B-(\
%&,O!A.=&%/(5 "L+/^,6->
4. THE VOTING SCHEME
?oI!$wH.)(3B)9 "%!J%,<6&
! "HG6a!)=&% %!,L%N(`K
N>5F%B8=,HG.).4:a "%!!$!6<`+) D
7-(5!+ " )6!/a3BA.a$+C !/
H#-'-!Hq-w!H!(*#,/w!>
4.1 Setup
:9!(&J7CDE6DEDµ`7.4!!J/!((!')
!Z "!"µY!>I?o:!"[/'\%,HF/C
68A=,H!#,=r q8q%6!3!+]=-(aC;!
8L.48K:-(&%B-(&,+8;!/K68A=,>JK)6!)
/.4@! 'C/O w®<µBð$L--<6D
8o=,Hwµ-ð.1!*-468"-(IµBð.+ab!*,/
68>
p4q!L% "-'=a%-H/ 76&!o=@%6!3!!#
8/.4@36!3B (5#1%!63!#]C=®O4¦ "%!H
3ced+f+!z68A="#]C=zµBðѵBð . H!-(*!GgId^f9,/
68A=9BGcd^f !B68A=J!]C=Bµ-ðѵ-ð.ѵBð.eabN>
:5(*3,=`±9!*N6! )3BCL1C)-(:.*"æ
,a'5-R±>TM!5¦ "%!H.I/ C,`æ ì
ihkjl#mTn2oqp'H$%B/.q<9 " "/(=*'1-±>
4.2 The Voting Phase
!(COCrQ T,N.48+%6!3!<]=&NµBðBѵBð.2ѵBð.+ab
.4$.4!F+ó d+f /!((!'>
m
6$3!
a#/.4!"./=®
>
m
(/.4(&w T36!+3B ($%!63!<]=&
µBðBѵBð .ѵBð .+ab O4[!>
o
#L è
_wv+xy:xz
.+ab
è
_wvexy:xz
.
è2_wvexy:xz
## è _
v+xy:x
n
.+ab
è _ vexy:x
n
. è
_wvexy:x
n
#qð è _
v+xy:x{
.+ab
è _ vexy:x{
. è _ vexy:x{
#4± è _ v+xy:x|
.+ab
è _vexy:x|
. è _ vexy:x|
ù&6 à1S.eab } ñ U .eab~a
ñ ñ è _ v+xy:x{
. ñ è _ v+xy:x{
â4
~
yzi e
l49yG
e
x/uJh-{!ijRhiOqx/×
e
QhwÖ{-{-ywx/×zh-ix f |
N>#!Y/Cb%6!37]=,H4I!C=%&5INIæßõ
.4*WOC "4!() !%!C¦&rtuBH
r s !(Cr
o
=&%/(:%B8=Y.48Z!!H
!z-(,z%6!3$]=,>
&>
m
4 4%&,JNN1,=8;--
/ K%!¦NL=&%La(:HG>>aK,C
æßõR.48óIÐ,Ñ/Ò/ÒÒrѵrÓ,>O!<(!6#!%&,
-19 "J4I)a/>
Ì>
m
< G%&,&1NN,=$C;!r-w!
+%!¦N=&%+ "$>!4q(!
6!!$%&,^N6!8A=9%QNC¦&>G¥#!F6!
9%,G46-(*3B/6#!q%N66! ,
-+[+O$!C=%&/(* "J43B6-(&/(r>
4.3 Computation of the result
?AJ!O6!39.%,O! "%!6& 9- 8=,>
MG82/HN.$(&3Bqq36!*3B ("z!1,/r6!8
.4! @/@3BL/(@3,=w641¦ "%!#6!a!
.3@8+O!#,G68A=ES.+ab,>
MG6&""!/.4+6! 536!`3B (I.4!J!ð d+f 6!C
/Z(\-(K.8aZ!9'.4Z/. 3!6&)Z=Y(K!
4/.4>
!C.!8"! "*C!".48V8"8;D
/'H"5!(:!5%,>K¥q¦N/HO!=:V
!J( "@!L%N6q6! "qF8q/.P-(aL
4!/(3N=9 "$2 "%a/>
b\a!:2=&2 X"/(rH!a,/$6!8
-/IZ8Q=¬$!7%&,@-( -6&@)6@-(
""2 "%:C/>a!rHG!",/6&!8LS.+ab
"%!64!q%N(&6!zq456 "!+9Ì&>
¥#C¦&/H&!C=@$q+ 93!!1aL&!(@(C=%&
WO<=&%2=2 ßG<;2G%&N(6!Cz.4! L%B-(&
7!8"%6!3!5]=,>Z@(=&%Z/V3B5 "/(Z3N=
6&(4!++(C=%&a%&,11%6!38=58;-3!>
!4,/- 4%!63!!/(136!"3B' (!
-68S.76! "K9!(776 "5-(I
!C=.8q!q%N(&6!r!1 ",*!8/.453!6!
3B' (r>!"(&C,L6&!8S.+ab.4! :(&%B-(7!
6&!o= S
.
-/J!9 "9NL+6!+7!%&N6!
3!6C*3B (r>O!16! "r
o
%/("3,=)1(=&%&/(
8=,>"-6&!S.4 "%!6&9)6! !
;!2$6! "rHB!9%N(6$6! "`-(7&Hz!(`(&=&%
!@;!-q%&N(6!C*R6! " .48R!@&!(R%,
,/#68>Vp9!-(HF=Z8Q=K-'!
+ "%!6(@3N=!LA. "N(1 * !>$!=a.
*!q3!63B (*w!q--r6!8A="!6! à
6 "a><?o6 "*NH,=J.4!4%&N(6!C!8,
6&!>
ü
,/zpq6&!8 8 b~a
ñ
b~a
ñ r s b~a
ñ r u
ü
,/zpq6& } ñ U .ea
´añ ñ è _ v+xzx{
. ñ
è2_
vexzx{
ü
,/zpq6&@ } ñ U .eaë~a
ñ ñ è _ v+xn x{
. ñ è _ vex n x{
ü
,/zpq6& g } ñ U$.eab~a
ñ ñ è _ v+xy:x{
. ñ
è2_
vexyx{
ü
,/zpq6&5± } ñ U .ea
oañ ñ è _ v+x|x{
. ñ è _ vex|x{
ùN6! à%S. }
b~a
ñ U .+ab~a ñ
b~a
ñ è _ vexyx{
.
(&=&%
}
b~a
ñ U .eab~a ñ
b~a
ñ è _ vexy:x{
â4
~
yzi e
l49yG
e
x/u9h-{ijVhPOqx×
e i e&~
hBuz{!4{!yzx/×zh!iQx f |
n1!Bp168 8P.eab~a
ñ
.eab~a
ñ
rtu
n1!zpq67 }
b~a
ñ U ´ab~a ñ
b~a
ñ è _ zxy:x{
n1!zpq6a }
b~a
ñ U ë~ab~a ñ
b~a
ñ è _ nxy:x{
n1!zpq6c }
b~a
ñ U .+ab~a ñ
b~a
ñ
è2_v+xy:x{
n1!zpq6*± }
b~a
ñ U oab~a ñ
b~a
ñ è _
|xy:x{
ù&6 àS
}
.eab~a
ñ
U$.+ab~a
ñ .eab~a
ñ
è2_v+xy:x{
(&=&%
}
.eab~a
ñ U .+ab~a
ñ
â1
~
yzi e
l4)yz
e
x/u9h!{!ijRhPO4x/×
e
uz{x/hBuw{-{-ywx/×zh-ix f |
!!46!8A=KZ "%6"!*%&N(6!C4
",OJ6 "1-8<3!6CJ3B' (r><wH8(=&%&
q%&N(6!C#-(@C;!.4!1!6!8qq/^,6-r
6 G+ ",a6! "`>
4.4 Frauds in the computation
"! 'C63(N!L%'N("Kc"N+.=:
(&236!J%!63!q8;-/'!w16!8>FC5
-31CC]q.4!O!GF-z3BL ]L,#6!,
*!4,/B 8=,>FwHN168="%B " "D
8;!/9.4 KN&/(: !L!"¦N9(& *
8=7!6!(/(@9,/< =,>+MG!8=,Hr!J#6-' ,/(
!+$9+%-$F!)!!O6/>9p16! "!"-'
N6! 93BzB! 'C/(N!O"¡qJ6&F(6!B¤
-(K!" N6! 93BJ1)9±)!K5 "%!6&
(@q÷5¡+
´
o ¤.4!Ca4/=a%B "/(I)!9Wq>
pq(!(&-8=,H&8O,="C44(/(*3N="9a6!8A=
#6!8A=563D6!8 *=*3B+(& (( à!# 8=56!,
64 "%6 'w>
5. ENHANCEMENTS OF THE SCHEME 5.1 Time Stamp server
+2=&2 #q)%&+ "J>
m
!H
F6F.4+-/F()3BGV.4-!F3B ]
,+6,F<! "%6 )B 8=,><H
6.4!-/58=\/(Y3B -(Y.4!@
!/$3B56/(3B/6+G "qH- 96!2%&'#-'
8q(r>!/^,6,=,H,L "42 "%L2=2
6/(!6q-1-/#3B@%B "/(53BJ>
5.2 Anonymity
?A¬6-$%-%BDE3-/( 7%&,H$72a9
<]N!/.4wH/23,=96&!8o=,><6F8F3!/8=
(6#)$!(),w!43BN(&=5A.4>
m
/./HF!5"!7% //\-/N`6C\
2r!q1%-'%-,-(* "26!58=!
zN6! 93BO! _/^,6(r>a/H-3B6!+O!
( O *'/H "J9/"-=&$/73B)%B "/(H
'1 *,=*!)%&,>
pqw!/^,6!!H'8z */=13B<,%&CG!,=& "8A=
¡!B¤oDEH.4!#3B)3!49/((&6!3DE!&><pq
6!6!H3!-(@-6&êF')"N!,1,G+%&N(&D
!6! `:!N=& "8A=,H!.4!%,a(&63!DE6!)
8;!/>
ü
C*6!*(:3!(V!6I ! "a-'%&,
A!DE "qa>S#!1/58!C6!1!#S#] "D
ù& !Z¹,H9'9½.4! ½73-(Tß!Y(&8c"6!8o=
F "%!6&*(J8! "Hq)S#] "DAò#6!6&D
9#6!^,6-'¹NH<<;'<7.4! $3!/(I7)(&8c"6!8o=
"%!6AR/D@,$ "N(65* "%B89N6! 93B/>#S#!
*=9 *]L-F!4C(,!(!("N=) "%6 '-
6 "%½K!Yn#ùp %3! 2!7-½!
m
!DEn1(6!#%3 @>
p1Qq-/N"%'a!q(&,o=,H-/CI6q/$!C.
%-8<B *'CqF!(J%6!3]=&>GwH.4L!!%
B6&!o=r¡ ¤CH,!#8;-)/H6!!+q3!-(
!6"%&,>5Sq6&Hr!"6!8A=7-/J@%&
J, 4' "2!1.48aL6!/>F/'/H/ 5
%BA6!29!"8;-/(K%6!3!"]=,Hr.4! Y *=`3B"6/(
1)%6-(&,=& @>
ù&.4$.,O$%&,G63Bo.q6!C
!(a!J6&!H.9!'L"6)*(&236/(@3!(@D
-'6.4CL/^,6!8<N!6&!8O!CO#!%J!
6!C+aCJ(`%!6-(,= @>9HO8 ""6&!D
8+.6(`])a%K56!LaL *,=I%6-(&,=& "q
@ "$-aH81.6Q(3B$ "%B3!>
pq#¦ "%!O6CL4(&236/(#8;-/'L&%!6!(N=& "
4@a%!%B-(8¦7/N>Ì>
5.3 Receipt-Free and Incoercible Properties
!*!%95o%D!.J;!29%N(K3N=
!)!(Jw6!!2 L'><!G696!G1!43B,
-'a%,=/=R6! ,aA.D.= @ " )6!/'
3Bo.$F68G-($/C+/>z¥#¦N/H'!r%D
a`%&,3-/(\\ "8¦NDE!J -!-)3B
%%B/(@3,=@ù]"!(0+QZNG.4L=aD.=@CD
a " 96! Q :68aZ!
6 "/(r>
pq#Q$F6&!#6!)Î,§CÊ!À©Èª§"§CÊB¿ ÃC¾-¨ÀÄÊ ÌHw¹/
6! I-'$!JC$/+/.P!9%!!C¦N$$&D
=&%(a!(5 !^N6#64!,3!LC>
K@;2@(&;-I3Bb5¿§ÂC§CÀ¾-¨ËÅ ¿§§CʧCÇÇY-(½ÀÊ!Ë
ÂÄ'§C¿ÂÀÈÀªÀ¨Ã>Y!rHF.@(&3Ba6%&%B3-/(ZY!
¦&2!"1aC) " )6!/': -!!F3BCA.K/C
6!C#-(@-(&%B!(!,%!o=,H/(:¿©Ê-ÎÄÏ9À'§C¿C>
5.3.1 Definitions
} e Ö e
Gxvâwi eNe
u e k/k
!6&)-'!5"/!!"%'N(
,=%q%'N!)+,,1<1H-@8<!
.,>
ã
uzÖh
e
iÖQÝOx
f_!69-'I9/!)3B*,/(K
/L!4>
!)HF,3!%%BCA=K%&,9D
C@5!5JI/!9>K*!8=K,6!
%&DEQaR3B/6!78aK2!
^N68 ",)81.6 "5!)5)!7 " 96!
3BCA.a!#,#!(5+1(&6!J!+%&,>
5.3.2 Physical Assumptions
wJ%&'&(&4%D!.1/*6!1+%!,=&/-6! "%&D
:]"" "%BD2 ,L(&N@¡6! `+ * ( ¤1
!1!+ !( ·( 6/(@(6&!!L!"%!!L/!!
3BL/(@3N=@,=&3BN(&=,>4HB!!]N4"!L *,LD
68A=1WO<`)C=%&2=&2 .*"6&-J,=3BN(N=
!/'a,=&!J3B6qHN".4*!1!%*
)/>
m
/./Hw+6 "% *=I3B),a2!
"$/H!.$.4w8!8=a6! "$)1 D
96!C!!r3BA.@,=6q!(a9 -( "[/>
5.3.3 Previous Work
46 "%F " )6!/) -!&-F
3BY6!/(KK*,J%-%BC
m
8-(Zù]Y8/'E>`6&
# " )6!/"(5r!8 "8¦NDE!F9%&'&(&1%D
Qq8<C=*!r>
?o-(&/(rH<Y!J !Q^,6HO!=K6 "H9.a(&H<-'
I!C=%& ! "½ " "%!a3!65V/.4
-(& àDE=&%rH&.4Ca.L(+3,=ZV
>
ú
/C%B3!9J#;!2#!=&%&/(@.4";!¦&/(a D
( ¡=a¤
t ìßÐZ a´
ì¡2$¤CÑ# aë1ìF¡E5¤CÑÒÒÒrÑw a²
ìF¡8µX2¤Ó,Ò
ú
/C56&!o="%B 96!("CDo!=&%-1H
.48*# !( 0%B 96 'wH3!6&J.\ -(& 8D
6!J-LC9!L%&!,,L1
=&%
.zìßÐZ5.+a
´
.
³z´
a v
´
ÑT5.+aë
.
³z´
a vë Ñ/ÒÒÒwÑ
5.ea
²
.
³z´
a v² Ó
ú
/CV6&!8o=K%8=Y " )6!/'95%BC )6 'D
'
.
$!6/H,$!<!6)'.R!
!$.,)/2
ú
/C76!8A=@%&'8=a%&1!1!1%B )6&
-$/8=3B6!/(Hz`[CDE]N!/.4/(.=Z¡.48D
6&)/!7!5!. !( 5¤C®"" gH! .eab -(
.
³w´
a v b
=&%+ "$ "
ú
/CI68A=%!63!8=%&'4@[Do]N'.4/(&+-'
!C#¦&26! aL%B 96 w®G4/CgHP5.
³z´
ab$!
3B5DE!C=%&/(
.
ú
;-!8=,H!+6!1.4!"4!+8=a!J3+'.P!
H!%BN484a!q;--w2/>
*9(& .43! ]+w-/HJ%!63!36!93B (H
%6!3F%,G 96!2w%%B//>z?A$-'z !^N6H//CJ6!8A=
%&'-'q @ "+-13BaDE=&%/(*a!+.
2/H!.4C@ *]4)=*N6!L "6NF(!' 9)2>
5.3.4 Independent Randomizers
S#6&+%%B+ "9`$!`A8QDoC )3
!N=& "[$;>#1]@¦N!,8A=*9 -( D
[I8H.4865 "N(&Q=&:!I,,>ß6*
4/^,6!84 "#-L262q)!.ß=&%O1®
ú
"I`-#!>
m
/./H-'a%&,
)6!2F3B4 2 3!H&.4#8.6Q("%&N(1
%/H#!!/¬%&`,,a9`D
!+=&%r>º6&@!@%&,9 )6!2@R3B[D
]&/.4("K (L@/]`@ *Y3B6L!
!.b -( à6!$6/(5!$=&%/(">!CD
Hr!=#6!F+, CF[DE]N!/.4/(%&,oH
.4!C+w!&D !2 3Hw,=$[CDE]N!/.4/(%&,AH
-]NF+!4 )6 38o="! !%/>SqF!C=
6!L)DE, C+(-(&DE8;-C4%,4,>
ú
!#/(&49%,G-'!#!.¬=&%/("$Q(>
m
/./Hw.486L"((8-F -(& 6!),D
(6!/(R3,=VI -(& "[/H1b!Y!C@%'N(
6! VI%&,q3N=:! "8A>Y!H!5-)7NCD
$.487!L !( "[C$+8/>
m
/./HB.).N
-,=*%-'w!q !%&4z, /&D
!$3B6!/(J*%L3,=756!/>N6!#.).46!
!5(35%%BA=R&H&HNH¶NH!;q5%&N8D
6!), a%&,q-"\!=&%&/(Y "@
@)a/> 6! I(&3!+%,AH!$ &D
%1@3,="+6!14!(%B-(NO!q6!8!
%,o®O!6+%,¡!6/¤F(&,,
,=@63! "!G -!w!#.6Q(I!3L!L6#
!(''C,L "C!!J *]$9%&/>
ú
9&)"¡-(I%B38=` "'¤q'N/(I
6q " -! @H+ -(& "[q-1 -(& "[+!
+H!-(5!$61!/(&1)%,O-4$
6!8!$O=&%G " "><pV(3!
)%&,/^,6!8A=7%!,¦N+/:
3B$6!/(>ù&)&>¹9qC!/w(C >
6. PRACTICAL COMPLEXITY
ü
C76!I!(IK% /J "%!¦&8A=¬)!K!
%!!I(&3B/(R"C Ì>ßpº@2$a8D
%!¦NQr u H\r s -(r
o
-(5O "$%,1O>
ù& "J.O]N!/.47% "[/'!$73B)%!%/(>LM!$¦ D
%!HBL " "8 ",/I3BJ%/(I3,=5!8$!76!
1(&3B/(aK8/ê'>
ü
C$6!1!aøYøL[)<9!!(@ " "8 ",HzøS9ø
!"[5"C!!-(bøýKø!"[5!" "N(&6!6!
6!(7I!9WOL=&%2=2 @>$9[959q¦ND
C=
Ì!øYø/£ZÌ!øS)ø£b¡2£ZCµ¤øýKø
.4!CwµLwFN6 )3Br&/-(&Q(><!^N6,8=,H!F D
)6!/'a "%!¦&8A=5z!$ ! "#1!/'qa$[L
WOa "N(&6!6!HVaN6! 93B)+/-((*-(Z\!
N6! 93B1>+M!6 "H!J "%6 '7 "%C¦&D
8A=a$)¡8µIíKøý:ø¤1 "N(6!'# 96!8%!/I$3B7
! '7!(8;!/r>
?A+%& /N%%!/rH'.F */=#C,qøYøì;NH!øS9øì;
!(RøýKørìUÌ&>M!J`a/-((LKC "Hr!
[L<9$q3B6+',>¹'0LF=&!&>
M!!1 "%!¦&8A=wq2=&2 @H!16!#z B
/53B16!("1(6!1q "%!6& !-24!(" " "=
2/>½Ka/b@!*!I278! "7R!
N6! 93BG>
7. CONCLUSION
L2=&2 ß.4C+6- ,z! ! "G^N68 ",
-("/Q3!$L-',="N6 )3BFw-("/!((!'
6!("3B16!/(>Fa'C/H&42=2 /*3B#(!%&/(+/
8L-.48I(&C,4q<6&!>
p1G=&% %!)%&,$-/J3B7%& "[/(@5%&'&(&
@c"N1!) ! ">
8. ACKNOWLEDGEMENTS
I6&!*I '61!I!N=& "6!)"
81!%6!w!(a(C /(a " ",>
9.
C4 >--w>Q¡!§C¿CÀREFERENCES
ɩȪ§¢B§Â¿§C¨Ë^£q©ªªÄ¨¤ª§Â¨ÀÄÊÇ >!W<i6!H¥$#8A=,H/$;¶N>
/4 >--I-(E69>-z6!2 &>n1%DQ+DE3!
!>-?o§¦¿Ä/Â'«/¨2©¨NªE«¬X®¢ÃÏq¾&ÄÇÀÆNÏ·ÄÊ7¨Nª!§
¯°ª!§Ä¿ ÃÄ2Å ¬FÄÏ#¾-ÆN¨ÀÊ,ͱe¢/¯t²¬V³'H%-#¹ÌÌZ´N¹¹N>rp1`H
/Ì&>
'J`>!6 "2C#-(A¥)>26$ "/(N/>pq
ü
6-L@ý@ÿ
m
/6$3!µBDq0+!/.4/(&LWO,#!(
p16! ",6-(&q=&% %!Lpq6 "%>?o
¤Æ&¿2Ä/¿Cà ¾-¨A¶·¹¸H
ü
¥+ù*Ì,¶NH-%!JT´-/N>
ù&%&!CDosF&HwN>
Ì+nL>B!H-q>P6#.]BHB`>¥$/H!!(anJ>!S#2'N],=,>
6$3!L<!=&%&w>?AC¬O¿CÃ ¾-¨EÄF¶·5º'H
ü
¥$ù'ÌH
%-q<´-Ì>ù&%DEsFHr/¶,>
¹/+nL>B!w!(nL>Bò#-'>?A!,3!9a6!8%-'A=
"%6 'w>?A¦¿2Ä/Â'«%»2º/¨NªE¼¤1¤¤¢!ÃÏ#¾&ÄÇÀÆNÏ·ÄÊ7¨Nª!§
½zÄÆNÊ-Ω¨ÀÄÊÇJÄ2Å'¬FÄÏ#¾-ÆN¨o§C¿¢-ÂÀE§CÊB §±N½¾²¬¢¹³/>!?AFH
/êN>
ê'6)>--6! @>&#, /3L<!9@H-n16
p#((&H--(6$ zW<6!(,=& ">%¬FÄÏ)Ï9ÆNÊ!À©¨ÀÄÊ!Ç
Ä2Å$¨Nª!§«¬XIH-'Ì!¡E¤C®;ÌZ´;I;&HwM!36-'=I/$;&>
¶/
ü
>-!w>Q¿À¨ÊB§CÇÇÀ$ÀÎÀÊNͦ¿Ä/Ä2ÅCÇJ©ÊBΫ¾¾-ªÀ©¨ÀÄÊÇ >
W<i6½HBp#'N6!#8A=,Hpq662+/Ì>
;'
ü
>-!wH?C>!q>i6$ "°Á' (rH!(@#>!WO>!WG/(&w>!WO
6$38A=5FW<,1%0+!/.4/(&>!?A§¤ÆN¿Ä/¿ ÃC¾!¨A¶·ÂH
ü
¥$ù¹&H-%-+Ì)´-/¹¹,>wù&%DEsFHr/¹,>
'+nL>B "/H¥9>M ]H-1>BùNC,! *]H!(
`>2¥6!>!a68Dopq6&!o=aù&CDA#F!
.48
ü
/4K]B>!?o§¤Æ&¿2Ä/¿Cà ¾-¨A¶·¹©H
ü
¥+ù7/¶&H
%-#¶´5;&>rùN%!DEsHr/ê&>
8LnL>B "/H!nL>!ò#!!&HB!(aq>-ù& !,! *]>p
ù&6L-(@S#%& *8=aOc",#a6!88Dopq6&!8o=
<ù& ! ">N?A¤ÆN¿Ä/¿ à ¾-¨A¶·5º'H
ü
¥$ù7/NHB%-
)´!<;N>wù&%&DEsF&Hw¶,>
8L?C>6+ "°Á (!(@`>\ 6]B>-p½ò#! 'wHB
ù& "%8;!/@-(aù& "+pq%%!/4<WO<`
WO3-3!29W<6!3!Dq0+=aùN=&2 @>N?o§¦Ã ¬Ä¶¸¹ÅH
ü
¥+ù
/,HB%-+)´!/êN>wù&%&DEsF&HB&>
8/'L?C>6+ "°Á (!(@`>P0+%/.4]N>-WO /O!(
n#ùpPùN-'6b861)w6!2/(6$/C/>-?A
¤Æ&¿2Ä/¿Cà ¾-¨A¶¸IÅH
ü
¥+ùBH!%!G´!>BùN%!DEsCQH-&>
8JpJ>!MGq!(apL>BùN- "8/>
m
/.¬"WO'¥6o®
% /w6!1O(N8;!/@-(-'6
%3! ">?AC¬O¿CÃ ¾-¨EÄF¶Æ5©H
ü
¥$ù@ê&H-%!+<;ê<´-Ì>
ù&%&!CDosF&HwI;¶N>
8ÌJWG>-M6-^,6+!( >-ùNr>-M6!8=E6#236/((
n#ùpT6-(&1ùN -( (ap16! "%&!>!&>B
ù&63! "rH!/3La!$%,4
ÇȹÈ$É1Ê˹ËIÌZÉÍ2Î)ÏÈÐ#ÎIÑÒZÍÐÓ$͹Ô
>
6$=&%aa!+,¦N4<sF!9
ü
>-?o
½ÀÊB©Ê-ÂÀ©ª%¬O¿Cà ¾-¨EÄC¶¸¹¸H
ü
¥$ù>!ù&%&DEsF&HBN>
8/ê'9`>Bò#8 68$-( &>Bù,w>-S#
ü
=%& %!
m
&DEs66!(aa?2(&,8;-/'
ù& ! ">&?oÕ¬O¿ ÃC¾-¨EÄC¶·ÂH
ü
¥+ù;&H!%-q<´NN'¹,>
ù&%DEsFHr/Ì&>
8'¶/9ù>-ò#(&.#!(Iù>!a/>WO3!3!2)<!=&%&w>
ÖNÄÆN¿CÊ-©ªGÄ2Å ¬FÄÏq¾-ÆN¨o§C¿9©ÊBÎ'¢!ÃǨo§CÏ×¢-ÂÀE§CÊB §CÇH
$;&®¶)´N&H</$;Ì>
8<;'
ü
>-q>Bò#667-(E >D: &>V9#6!^,6-'/>!p½WO /
µDq0+!/.4/(LW<,OMG8/(5"ù&68A=
aC%,+a "["Iw "7!(
a "=>&?A¤ÆN¿Ä/¿ à ¾-¨A¶Æ¹ÆH
ü
¥$ù&H-%-+')´-/$;N>
ù&%DEsFHr/$;I;N>
8/'9`>
m
q-(E0>-ù]>Oc",1nq%DoM#s
/(
m
" "%!#F=&%r>!?o§¤ÆN¿Ä/¿ ÃC¾-¨A¶¸¹¸H
ü
¥+ùI<;¶N>ù&%DEsFH-N>
'J#>!?EwH0>-ù]N6& H-(
m
>!ù&[6=NN>-p1N=
ü
6-+
ØNÿ
m
16$3!Ù¾ØNÿ)>!?o«#Ç À©Â¿Cà ¾-¨'¶·ÅH
ü
¥+ù
¶NH-%!#$;<´,¶N>rùN%!DEsHr/&>
NC9`>P ]3rHP0>-ù]H!-(5nJ>&?o "%-Q[[&>
6$!/(asF8;-C1W<,$-(!8qpq%%!/>-?o
¤ÆN¿Ä/¿ à ¾-¨A¶·©H
ü
¥$ù7¶NHB%-+Ì)´!'¹'Ì>
ù&%DEsFH!wHw/ê&>
/46)>&¥$/ !+-(E >Bù,w>p¬¥#.T=&%&2=&2 à3!/(
m
!4n1(6>?A§¦¿Ä/Â'«<Ä2Å+¨Nª!§LÚ¨Nª@¬G¬¢H!%!
¹)´,êêN>p1%&Hr/$;&>
'40>BS#, )-(#>BS#] ">26$3!µBDq0+'.4/(&
?A, C+W<,#-(a " 96 qn#-(&
ù&8DEn1/(63!8A=>&?A§¤ÆN¿Ä/¿ ÃC¾!¨A¶Æ·H
ü
¥$ùÌÌH-%!
/Ì)´-Ì&>wùN%!DEsCQHr/&>
Ì40>BS#, )-(#>BS#] ">!S#I!9ùN68o=
w/ "N4Fù&-6&¾6$/(* U?A(,8;-r>
?AÕ¬O¿ Ã ¾-¨EÄÕ¶·$ÆH
ü
¥+ùIÌêNH!%-q¹Ì)´Nê&>
ù&%DEsFHr/I;N>
¹/J#>BS#] ">W<'3=@ù&6+-(W< /
?2(N8;!/@ù& ! "4-(a%B-(&5ù&!6&
ù& ! ">&?oÕ¬O¿ ÃC¾-¨EÄC¶·$¨H
ü
¥+ù@¶'Ì&H!%-1&T´&¹&>
ù&%DEsFHr/,>
ê'J#>BS#] "!(@ùB>!qC=, *&>pߥ#.TW<6!3!0+=
=%&2=&2 º#ùN6&+qM-C!&>!?o§¤Æ&¿2Ä/¿Cà ¾-¨
¶·IÆH
ü
¥+ùaÌ&H%-4I;<´N&;&>-ù&%&DEsF&Hr$;&>
¶/JWO>!WO/>W<6!3!Dq0+=a=&%2=2 "4/(
6$
ü
' "4nq(&6!>?A¤ÆN¿Ä/¿ à ¾-¨A¶·¹·H
ü
¥+ùI'¹N>ù&%DEsFHr/N>
$;'46)>-WGN !>!ùN8DAù& )3"pq,=& "[>N?A
½ÀÊB©Ê-ÂÀ©ª%¬O¿Cà ¾-¨EÄC¶¸¹¸H
ü
¥$ù>!ù&%&DEsF&HBN>
'46)>-WGN !w-(E >ù,w>WO38=IùN6$!(
ù&!6JùNC ">&?A§«$ÇÀ©Â¿Cà ¾-¨'¶·¹©H
ü
¥+ùI/ê&H
%-q¹<´&ê¹,>wù&%DEsFHr/êN>
'46)>-WGN !w-(E >ù,w>!ù&68A=WO,q
ù&!6JùNC ">&?A¤ÆN¿2Ä/¿Cà ¾-¨'¶·¹©H
ü
¥+ù¶&H
%-1I;¶<´NI;N>wù&%DEsFHr/êN>
&C40>Bù&])-(E >P0+r>!n1%&DEQ+ "8¦NDEo=&%B#
C "#DpT%& /w6a)!+ "% ", 5
)3B,r>!?o§¤Æ&¿2Ä/¿Cà ¾-¨A¶·IÚH
ü
¥+ù5NH-%!
<´,Ì&>wùN%!DEsCQHr/¹N>
/9q>-WG>-ù& !!/><c"N#ùN-'6Jò# I3,=
ù& *4 (>XÖNÄÆN¿CÊ-©ªOÄ2Å ¬O¿ ÃC¾!¨EĪÄÍÃH-Ì!¡¤C®ê&~´!'¶'ÌH
/N>