HAL Id: inria-00071357
https://hal.inria.fr/inria-00071357
Submitted on 23 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,
Relating two Standard Notions of Secrecy
Eugen Zalinescu, Véronique Cortier, Michaël Rusinowitch
To cite this version:
Eugen Zalinescu, Véronique Cortier, Michaël Rusinowitch. Relating two Standard Notions of Secrecy.
[Research Report] RR-5908, INRIA. 2006, pp.32. �inria-00071357�
ISRN INRIA/RR--5908--FR+ENG
a p p o r t
d e r e c h e r c h e
Thèmes COM et SYM
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Relating two Standard Notions of Secrecy
Eugen Z˘alinescu, Véronique Cortier, Michaël Rusinowitch
N° 5908
Avril 2006
Unité de recherche INRIA Lorraine
)*+-,/.103254768.',:9<;/*3='>@?/A<B-.'67CD*,FEGB-AIHJ67,/A:=LKM68;ONP5Q:4RS*'9<67.'BUTV68H<;ON
W3XUYIZ\[<]_^`bac[dfe:gaihjelkm]ndoYIZ\[p]qIrsZ\ZtUuUvwqIxsu/dy]3[dfelkm]zd{YpZG[<]]{klZ|5rs}~v~:tU[<]
{rOn[db^xs]o]{v~]
xsU5rs{dm[o[pqyXU[IyqyXU[u5O/sFhl{v~}ss/h/xOs[<]
S'pIUss
W &r¡]zd¢kl}~[p]SrO£m[I¤¥uUv¦d{v~rsu¥]xs{[§t¥]{t¥xO}~}~k¨qIrsu¥]{v~U[Io[p©dorª[I«mU{[<]{]$d{X¥xOdxª]{[pqItU{v¦dnk
UorOdormqr/}Uo[p]{[Ios[p]d{XU[qr/um¤m[pu/dov~xs}¦v¦d¢k¬rO£x§UxOdox
s
[<xsqyX¥xO|¥v¦}~v®dnk:¯7|xs]{[p¬]{[pqI{[<qk°Z\[pxsu¥]d{Xxd
s
]{XUrst¥}~uU[ps[I|5[mvw]oq}~r/]{[p XUv~}¦[[p:tUv~xs}¦[pu¥q[¯±|¥x/]z[<]z[pqI{[<qkS]zdoxOd{[<]3d{X¥xOddn &r$[«m[<qtmdov¦r/u¥]rO£x
UorOdormqr/}² v¦d{X§mvw]zd{v~u¥q³dfv¦u¥]zdyxOu¥q[<]3£´r/
s
]{XUrstU}w|5[v~u¥mvw]ndov¦u¥stUvw]zXxO|U}~[dorVxsuµxOdzdox/qo¶s[p
}¦d{XUr/tUsX
doXU[¬]z[<qrsu¨£´r/{ZtU}wxdov¦r/u·[pu¥]zt¥{[p]xªXUv~sX¥[I}¦[ps[I}brO£]{[pqt¥{v¦d¢k·xOu¥·vw]qI}¦r:]z[pVd{r¨qok:Ud{rs/oxO¥XUv~q
uUrsd{v~rsu¥]3rO£']{[pqI{[<qk/¸lm[<qvwUxO|¥v¦}~v®dnkVo[p]{tU}¦do]3xsu¥xstmd{r/Z\xOd{vwq_d{rlr/}~]Xx<s[bZ$xsv¦uU}~k$£´rmqt]z[<SrsuSdoXU[b¤¥y]zd
m[I¤¥uUv¦d{v~rsuµ]zrG£¹xO
W3XUv~]_¥xO5[pv~uUv¦d{vwxdo[p]fx$]{km]ndo[IZ$xdov~qv~u:s[p]zd{v~:xd{v~rsu@rs£]{v¦d{t¥xOd{v~rsu¥] XU[p{[]{k:u:dox/q³d{vwq]z[<qo[pqIkS[Ium¯
dyxOv~}~]]ndo{r/uU]z[<qo[pqk
º
[$]{XUr »doX¥xdv~u°doXU[\¥x/]{]{v¦s[\qIxs]{[s¸²o[px/qoXxO|Uv~}¦v¦dnk:¯7|¥x/]z[p°]z[<qo[pqk§xsqd{t¥xs}¦}~k
v~Z\U}¦v~[p][<:tUv¦OxO}~[Iu¥qI[¯±|¥xs]{[p]{[pqI{[<qk£´rsL]{v¦/u¥xdotUo[p]p¸O]zklZ\Z\[do{vwq3xOuGxs]{klZGZ\[doov~q[Iu¥qI{klmdov¦r/uUorO¯
lvwm[p@d{X¥xOddoXU[Uov¦Z\v¦d{v~s[p]fxOo[Uors|¥xs|Uv¦}~vw]ndov~q
3¼
rsfx/q³d{v~s[xsUs[Iy]{xs{v¦[<]3v¦uµd{X¥[qpxs]{[rs£L]zklZ\Z\[do{vwq
[pu¥qok:Ud{v~rsuD¸- &[UorJlvwm[]{tm½Vqv~[Iu/d$¾¹xsu¥§yxd{X¥[I_d{v~sX:dy¿fqr/u¥mv¦d{v~rsu¥]frsu§d{XU[GUorOdormqr/}D£´rsfd{X¥v~]bv¦ZG¯
U}~vwqIxdov¦r/ud{r\X¥rs}w
ÀµÁ:Â-Ã{ÄÅ JÆ'/ s[Iov®¤5qIxdov¦r/uD¸m]{[pqItU{v¦dnkVUorOdormqr/}~]p¸l]{[pqI{[<qks¸UxOU¥}¦v~[p¥v®¯¢qIxs}~qItU}¦t¥]
[ItU« ¤uUv®dov¦r/u¥]]zr/u/dX¥xs|Uv¦d{tU[I}~}~[IZ\[Iu:d[IZ\U}~rJkp[p]5rstU[I«l¥{v~Z\[I:ttUuªUorOd{rs¯
qIrs}~[m[µ]<qtUov¦dU<]z[p{s[}~x¬qIrsum¤U[Iu/dov~xs}¦v¦d@tUuU[µmrsuUuI[
[@]{[pqo[d$]{k:u:doxO«lvw:tU[[<]nd$tUuU[
UorsUovdx/qIq[<]{]{v~|Uv¦}~v¦d
s
uU[mrsv¦dzxsZ\xsv~]doo[Ip}/¸ldyxOu¥mvw]:tU[}¦[]{[pqI{[Id3£´r/zd[p]zdtUu¥[UorO¯
Uovd$p:tUv~xO}~[Iuq[U[Itm«°[I«pqtUd{v~rsu¥]tUu U{rsd{rmqIrs}~[Gx<s[<qGm[p]v~u¥]ndyxOu¥qI[p]Uv~]zd{v~u¥q³do[p]5rstU
s
mr/v¦s[pu/dd{o[v~u¥mvw]oq[Iou¥xO|¥}¦[<]5r/tUtUuSxsms[po]oxOv~{[
Wxsu¥mvw]:tU[_}~x]{[pqIrsu¥U[3£´r/{Zt¥}~xOd{v~rsuVxs]o]ztUo[tUu
uUv~s[pxstm[b]pqItUov®d_¥}¦t¥]/oxsu¥²¸:}¦[<]&p]{tU}¦doxdy]m[bpqvwUxO|¥v¦}~v¦db[d3}¦[<]&r/tmd{v~}w]xOtmdorsZ$xOd{vw/t¥[p]]z[b]{rsu:d
Uov~u¥qv~¥xO}~[IZ\[Iu:d3£´rmqpxO}~v~]p]]ztU}~xGUo[IZ\v~YIo[I¤¥uUv¦d{v~rsu
^&[¥xOUv~[Ifv¦u¥v®dov~xs}¦vw]{[t¥uU[xsu¥xO}~km]z[]zkm]zdpZ\xOd{vw:tU[m[<]f]zv¦d{txd{v~rsu]r! µ}~[]{[pqo[db]zklu/dyx«mvw:tU[v¦ZG¯
U}~vw/t¥[}~[&]{[pqo[d£´rs{d
"
r/t¥]UorstUsr/u¥]:tU[&Uxsu¥]}~[&qIx/]tUux/ms[Iy]{xsv¦{[xs]o]zv¦£m}~[&]{[pqI{[Id]{rst¥]D£´rsoZ\[
xsqpq[p]o]{v¦|Uv~}~v®dbv¦Z\U}~vw/t¥[[$#-[pq³dov~s[IZ\[Iu/d}~[]z[<qo[d]{rst¥]&£´rsoZ\[p:tUv~xs}¦[pu¥q[b5rst¥m[p]]{v¦/u¥xdotUo[p]
[IdqyXUv#5o[IZ\[Iu:do]]{klZ%Id{ov~:tU[<][Idx/]zklZ&do{vw:tU[\5rstUolt :tU[$}~[p]Uov¦Z\v¦d{v~s[p]]{rsv~[Iu:dUors|¥xs|Uv¦}~vw]ndo[p]
rstULm[<]x/ms[Iy]{xsv¦o[p]'xsq³dov¦£¹]Uxsu¥]}¦[qIxs]mt$qoXUv#-{[pZG[pu/d]{klZ%Id{ov~:tU[3uUrst¥]£´rstUouUv~]o]{rsu¥]m[<]qr/u¥mv¦¯
dov¦r/u¥]]{tm½V]{xsu/do[p]35rstU:tU[}'v~ZG¥}¦vwqIxOd{v~rsu@]{rsv¦dloxsv¦[
(Å p à !) Iov®¤qpxdov¦r/uD¸lUorOdormqr/}¦[<]m[]pqtUov¦ds¸¥qrsuU¤m[Iu:d{vwxO}~v®ds¸¥xO¥U}¦v~[pUv®¯¢qIxs}~qItU}¦t]
+ ,
G'$%
^&oklmd{r/syx¥XUv~q§UorOdormqr/}~]xs{[¬]{Z\xs}¦}UorssyxOZ$]SU[p]{v¦/uU[p·dor©[pu¥]{tU{[¬]{[pqItUo[FqIrsZ\ZtUuUvwqIxOd{v~rsu¥]
elv~u¥q[doXU[Ikxs{[ v~U[I}~kmv~]zd{ov~|Utmd{[<v~uµqov®dov~qpxO}D]{km]ndo[IZ$]I¸ldoXU[Iv~_]z[<qtUov¦d¢kVvw]U{v~Z\rsymvwxO}
.-
u@¥xO{d{vwq³¯
tU}wxO<¸¥s[Iov®¤qpxdov¦r/ut¥]{v¦u¥\£´rsoZ$xO}DZ\[Id{XUrm¥]_xd{d{yxsq³do[p@x$}¦rsdrs£xOdzdo[Iu/dov¦r/u§mtUov¦uU$d{XUvw]_}~x/]ndfm[pqpxsm[
¤¥y]zdmv¦½VqtU}¦d¢k vw]Vd{r £´r/{Z$xs}¦}~k©[«mUo[p]o]\doXU[F]{[pqt¥{v¦d¢k¨Uors5[I{d{v~[p]$d{X¥xOdxOo[µ[«m5[<q³d{[<
0/
s[Iu
xS|¥xs]{vwqUors5[pzdnk@]{t¥qyXFxs]bqr/um¤m[Iu:d{vwxO}~v¦d¢k§xsmZ\v¦do]fd¢ rmv#-[Io[Iu:dx/qIqI[ImdyxO|U}~[m[I¤¥uUv¦d{v~rsu¥]bu¥xsZG[p}¦k
o[px/qoX¥xs|Uv¦}~v¦d¢k:¯±|¥xs]{[pV¾"1*23'4 !'f¿']z[<qo[pqIkxOu[p:tUv~xO}~[Iu¥qI[¯±|¥xs]{[pV¾%"1 5m¿']{[pqI{[<qk
[pxsqyX¥xs|Uv¦}~v¦d¢k:¯
|¥x/]z[<S]{[pqo[pqIk\v~]/t¥v®do[xO¥[<xO}~v~uU'v¦d]ox<km]doX¥xd3d{XU[]z[<qo[d3v~]u¥[Is[Ixsqpq[p]o]{v¦|U}~[_d{rdoXU[x/ms[Iy]oxO{k
¼
rsf[«UxOZ\U}~[s¸-qIrsu¥]{vwm[IdoXU[£´rs}~}~rJ v~uUSU{rsd{rmqIrs} XU[Io[d{X¥[xss[pu/d
A
]zv~Z\U}~k@]{[IuU]fxS]{[pqo[ds
d{rxsuxss[pu/d
B
¸U[pu¥qoklmd{[p v®doXB
]3UtU|¥}¦vwq¶s[Ik
A → B : { s } pub(B)
_uv¦u:d{ot¥m[IqIxsuUuUrsd3m[pUt¥q[
s
¸ld{Xlt¥]
s
vw]3]zklu/dyxsqd{vwqIxO}~}~k$]z[<qo[d
}¦d{X¥rstU/XVdoXUv~]3uUrOdov¦r/uSrO£']z[<q{[<qk
Z$xJk$|5[]ztm½Vqv~[Iu:dv¦uZ$xOulkV]oq[pu¥xOov¦r:]I¸:v~ursd{XU[po]p¸m]ndo{r/uUs[p]{[pqItU{v¦dnk${[<:tUv¦o[IZ\[pu/do]3xOo[bm[<]zv~yxO|U}~[
¼
rsv~u¥]zdoxOuq[$qIrsu¥]{vwm[Ix@]{[d{d{v~uUµ XU[Io[
s
vw]x@srOdo[$xOu¥
B
|5[IX¥xJs[p]mv#-[Io[Iu:d{}~kFm[p5[Iu¥Uv¦uUµr/u v¦do]_xO}~tU[6-
£doXU[x/q³dov¦r/u¥]rs£
B
xs{[r/|¥]z[p{OxO|U}~[s¸s
{[pZ\xsv¦u]]zklu:doxsqd{vwqIxs}¦}~k]{[pqo[d_|UtmdbxOu§xd{doxsqy¶s[I
qpxOu§}~[pxs{uµdoXU[OxO}~tU[p]frO£Ld{XU[GsrOdo[|lk@ 3xdyqoXUv~uU
B
]bxsqd{v~rsu¥]
W3XU[Gm[<]zv~su°rO£[p:tUv~xs}¦[pu¥q[¯±|¥x/]z[<
]{[pqo[pqIkv~]dyxOos[do[pµxdb]zt¥qyX°]{qI[Iu¥xs{v~r/]xOu¥µv~u/d{t¥v®dov¦s[p}¦kµ]ox<km]d{X¥xOdbxOu°xsms[po]oxO{kqIxsuUuUrsd_rs|¥]{[Ios[
doXU[$mv#5[p{[pu¥q[\ XU[IuFdoXU[\xs}¦t¥[GrO£doXU[$]{[pqI{[dqyX¥xsuUs[<]
W3XUv~]m[I¤¥uUv¦d{v~rsu¬vw][p]o]z[pu/d{vwxO}d{r@[«mUo[p]o]
Uors5[pzdov¦[<]}~v¦¶s[qr/um¤m[pu/d{vwxO}~v¦d¢krs£LxVsrOd{[/¸rO£x$¥x/]{]{ &rsy²¸¥rsd{X¥[xOuUr/u:klZ\v¦d¢krO£xO{d{vwqv~¥xOu:do]d{r
xGUorOdormqr/}
}¦d{XUr/tUsXSdoXU[]{[pqIrsu¥V£´rsoZtU}~xOd{v~rsuS[pu¥]{tU{[<]xXUv~sXU[p}~[Is[p}-rO£']{[pqtUov¦d¢kVxsu¥Sv~]q}~r/]{[I&d{r\qI{klm¯
dorssyxO¥XUv~quUrOdov¦r/u¥]\rO£]z[<qo[pqk/¸&]zr¬£¹xOVm[pqIv~¥xO|Uv~}¦v¦dnkªo[p]{tU}¦do]$xOu¥¨xstmd{r/Z\xOd{vwqSdorlrs}w]GX¥xJs[@Z\xsv¦u¥}¦k
£´rmqIt¥]z[<#r/u#doXU[¬¤o]zd§m[¤¥u¥v®dov¦r/u
W3XU[ ]{klu/dox/q³dov~q ]z[<qo[pqIk·U{[<]z[p{Oxd{v~rsu#Uors|U}~[IZ vw]@tUu¥m[<qvwl¯
xs|U}¦[$v¦u s[puU[IyxO}87:9<<;7¸v®dv~]qrs¯
"
¯±qIrsZ\U}~[do[G£r/x|5r/tUu¥m[p¬u:t¥Z|5[IrO£3]{[p]o]{v¦r/u¥]=7:9p<;±¸'xOu¥¬]{[I:¯
[poxs}bm[<qvwUxO|U}~[¬qI}~x/]{]{[p]SX¥xJs[F|5[I[pu#vwm[Iu:d{v¦¤¥[p#v~u#d{XU[ qpxs]{[°rO£GxOu#tUu:|5r/tUu¥m[< ultUZ|5[I@rs£]z[<]n¯
]{v¦r/u¥]>7:9<m¸LU¸@?l¸A9?:¸A9JB;
W3XU[<]z[@o[p]{tU}®dy]Grs£d{[pu qrsZ\[@ v®doX xstmd{r/Z\xOd{[<ªd{rlr/}~]p¸ &[@Z\[Iu:d{v~rsu©£´r/
[I«mxsZ\U}¦[LorCL[Iov®£D7<;±¸^&e
79391;±¸-xsu¥§lvw]zxE7F;
WrVd{X¥[|5[p]zdfrs£LrstUf¶luUrJ }~[pUs[s¸d{XU[r/uU}¦k
dorlrs}²qIxs¥xO|¥}¦[brO£s[p{v¦£´klv¦u¥d{X¥v~]3Uors5[pzdnk$v~]d{XU[o[p]{rs}~tmd{v~r/um¯7|¥x/]z[pSxO}~srsov¦d{XUZ rO£LorC[p{v¦£@7;²d{Xxd
X¥x/]|5[I[Iuª[«ld{[pu¥m[<¬dor°]ndo{r/uU§]{[pqo[pqIkFxsu¥ rsuU}~kFr/uU[Sm[pqIv~¥xO|Uv~}¦v¦dnk¬{[<]ztU}¦dvw]xJxOv~}wxO|U}~[E79<<;
E-
u
doXUv~]xO{d{vwq}~[s¸#GDHmd{d{[p}DUorJs[<]m[<qvwUxO|¥}¦[b£´rsx£´yxO/Z\[Iu/drO£d{XU[]zUv¦¯¢qIxO}wqt¥}¦t¥]3 v®doXUrstmd{[<qtUy]zv~rsuV£´r/
£´yxOZ\[p|Uvw]{v¦Z\v~}~xs{v¦d¢k/¸UxGo[I}wxd{[<S[<:tUv¦OxO}~[Iu¥qI[bo[I}wxd{v~rsuv¦u:d{ormmt¥q[<|:k_|¥xsmvxsu¥JIbrsymrsuK7<;
-u }¦v~/X/drs£3d{XU[xO|5rs[Vmvw]{qIt¥]{]{v~rsuD¸'v®dZ$xJk¬]z[p[IZcd{X¥xOddoXU[$dn &r§u¥rOd{v~rsu]rs£]z[<q{[<qkFxs{[S]z[pm¯
xsoxOd{[pª|:k¡xF]{vL<xO|U}~[/xsª£´{r/Z |rsd{X¨x¬qrsuq[IUd{t¥xs}|UtmdVxs}~]{r§£´orsZ xFUyxsq³dov~qpxO}5rsv~u/d$rO£f:v~[I
W3XU[<]z[d¢ r$uUrsd{v~rsu¥]Xx<s[qIrstUu:d{[Io¥xszdy]3v¦u@doXU[qoklmdorssyxOUXUvwq]z[d{d{v~uU°¾´ XU[p{[ZG[<]{]oxO/[p]xs{[|Uv¦dz¯
]zd{ov¦u¥/]xOudoXU[xsms[po]oxO{kVvw]_xOulk5rs}~kluUrsZ\vwxO}DUors|¥xs|Uv~}¦vw]zd{vwqWtUov~uU$Z$xsqyXUv~uU[<¿
8-
u/d{t¥v®dov¦s[p}¦k/¸¥doXU[
]{klu/dox/q³dov~q\]z[<qo[pqkµuUrsd{v~rsu qIxOu¬|5[Gd{yxOu¥]{}~xOd{[<§v~u/dorµx]{v¦Z\v~}~xso[pxsqyX¥xO|¥v¦}~v¦d¢k:¯±|¥xs]z[<§]{[pqI{[<qkµuUrsd{v~rsu
xsu¥§[p:tUv~xs}¦[pu¥q[I¯7|¥x/]z[<@uUrsd{v~rsu°vw]bqI}¦r:]z[d{rv¦umv~]zd{v~uU/tUv~]{X¥xs|Uv¦}~v¦d¢k
:tUv¦d{[\]{tU{¥{vw]zv~uUSo[p]{tU}®dM79<<;
]zdoxOd{[p]doX¥xdqI{klmdorssyxOUXUvwq]{klu/dox/q³dov~qf]{[pqI{[<qk\x/q³d{txO}~}¦k\v~Z\U}~v¦[<]&v~u¥mvw]zd{v~uUstUvw]{X¥xO|Uv~}~v®dnk$v¦uSd{XU[qI{klm¯
dorssyxO¥XUv~qG]z[Idzdov¦u¥
W3XUvw]o[p]{tU}¦d{[p}¦v~[p]v~u¬¥xszdov~qItU}~xsrsuFd{XU[\£¹xsqddoX¥xdd{X¥[\[pu¥qoklmd{v~rsu ]{qyXU[IZ\[<]
xs{[b¥{r/|¥xO|Uv~}~v~]zd{vwq_doX:t¥]3dn &r\[pu¥qoklmd{v~rsu]rs£d{XU[]oxOZ\[U}wxOv~u/d{[I«ld}~[px/Sd{r$mv#-[Io[Iu/d_qIv¦¥XU[I{d{[I«:dy]
aµrOdov¦Oxd{[<µ|:k@d{X¥[o[p]{tU}®dbrO£7:9p<;LxOu¥µd{X¥[}wxOos[ultUZ|5[IrO£&x<xsv¦}wxs|U}¦[]zkm]zd{[IZ$]_£´rs]zklu:doxsqd{vwq
]{[pqo[pqIkSs[p{v¦¤qIxOd{v~rsuD¸¥ &[v¦u¥v®dov~xOd{[v¦uµd{X¥v~]_¥xs5[IfxV]zkm]zd{[IZ$xOd{vwqv~u:s[<]ndov¦:xdov¦r/u@rO£L]{v®dot¥xdov¦r/u¥] XU[Io[
]{klu/dox/q³dov~q3]z[pqI{[<qk[Iu:doxsv¦}w]]zdo{r/uUb]{[pqo[pqIk
emtU{Uovw]zv~uU/}¦k/¸Jd{XUvw]X¥xsU5[Iu¥]v~uGZ$xOu:kv~u/do[Io[p]zd{v~uUqIx/]z[<]
º
[\r#5[p{[<]ztU}¦do]bv~u¬|5rOd{X¬¥xs]o]{v¦s[\xOu¥Fx/q³dov¦s[\qIx/]z[<]fv~u°doXU[$]{[dzdov~uUrs£d{XU[ ! ' '
5" 7:91;
3º
[¤¥y]zddo{[<xd_v~u°el[pqd{v~rsu°Gd{XU[qIx/]z[rO£¥xs]o]zv~s[xsUs[Iy]{xs{v¦[<]
&º
[UorJs[doX¥xdb]zklu:doxsqd{vwq
]{[pqo[pqIkvw][p:tUv~xs}¦[pu/ddor]zd{orsuU]{[pqI{[<qk
W3XUvw]XUrs}wU]£´rsL]{v¦/u¥xdotUo[p]p¸O]{k:Z\Z\[do{vwq3xsu¥Gxs]{klZ\ZG[Id{ov~q
[pu¥qok:Ud{v~rsu
&-
dqpxOu°|5[[px/]zv~}¦kµ]{[I[Iu§doX¥xdbd{XU[dn &ruUrOdov¦r/u¥]frO£&]z[<qo[pqkµxOo[uUrOdb[<:tUv¦OxO}~[Iu:dfv~u§doXU[
qpxs]{[3rO£²m[do[IoZGv~uUvw]ndov~q[Iu¥qI{klmdov¦r/u
O-
u¥m[p[p²¸sdoXU[]{[pqI{[Id
s
qIxsuUuUrsd|5[m[<mt¥qI[p£´orsZdoXU[[pu¥qoklmd{[<
Z\[p]o]oxOs[
{ s } pub(B)
|UtmdLv®£doXU[3[Iu¥qI{klmdov¦r/uvw]U[d{[p{Z\v~uUvw]ndov~qs¸sxOuv~u/do{tm[IZ\xJkdookmv#5[p{[pu/dOxO}~tU[p]
£´r/
s
xOu¥qyXU[pqy¶$ XU[doXU[IdoXU[qIv¦UX¥[I{d{[«ld3XU[br/|mdoxsv¦u¥[pVt¥]{v~uU
B
]UtU|U}~v~qb¶s[Ik$vw][p:t¥xO}5d{rd{X¥[brsu¥[XU[o[pq[pv¦s[<]
W3Xlt¥]3£´rsr/tUo[p]{tU}®dd{r$XUrs}w²¸U &[{[</t¥v¦o[fd{Xxd[Iuqok:Ud{v~rsuv~]Uors|¥xs|Uv~}¦vw]ndov~q
W3XUvw]v~]
uUrsd3xo[p]zd{ov~qd{v~rsuV]{v~u¥q[_d{XUvw]v~]&$4'doXU[b]zdoxsu¥UxOy\v~uxO}~Z\r/]zdxO}~}-qoklmd{r/syx¥XUv~qxsUU}~v~qpxd{v~rsu]
"
[«ldp¸¥ &[qIrsu¥]{v~U[I3d{XU[Z\r/{[qoXxO}~}¦[puUsv~uU\qpxs]{[brs£xsqd{v~s[xsms[po]oxOov¦[<]
'º
[sv~s[]ztm½Vqv~[Iu:d_qr/u¥mv¦¯
dov¦r/u¥]3r/udoXU[UorOdormqrs}w]&£´rs_]zklu/dyxsqd{vwq]{[pqo[pqIk$d{r$v¦Z\U}~k]zd{orsu¥\]z[<qo[pqk°¾7el[pqd{v~rsuµ/¿
-
u:d{tUv¦d{v~s[I}~k/¸
&[o[p:tUv~{[fd{X¥xOd3d{XU[qIrsu¥Uv®dov¦r/u¥xO}5do[p]zdo]xOo[fu¥rOd5[I{£´rsoZG[<mv¦o[pqd{}~k$r/uSd{X¥[]z[<qo[d]{v¦u¥qI[b [bX¥xJs[
]{[I[Iuxs|5rJs[d{Xxd3]{t¥qyXVd{[<]ndy]&UorJlvwm[_v~um£´rsoZ$xd{v~rsuVr/u$doXU[bxO}~tU[frO£Dd{XUvw]3]z[<qo[d
º
[xO:xOv~u$[«mXUv~|Uv¦d
]{[Is[poxs}Dqr/tUu/d{[pz¯±[«UxsZG¥}¦[<]d{rVZGrsd{v~xOd{[doXU[v~u/d{ormmtq³d{v~rsu@rs£r/tU_qr/u¥mv¦d{v~rsu¥]
uµv~Z\5rs{doxsu/d_x/]n¯
5[pqd&rs£²r/tUo[p]{tU}¦dvw]LdoX¥xd& [fmruUrOd&Z$xs¶s[_xOulk\xs]o]zt¥ZGmdov~rsu$rsu$doXU[_ultUZ|5[I&rs£]z[<]{]{v¦r/u¥] &[_UtUd
uUr\o[p]zd{ovwq³dov¦r/uSr/ud{XU[t]z[rs£'{[pU}~v~qpxd{v~rsu
W3XU[\v¦u:d{[Io[p]zdrs£&r/tUqrsu:d{ov~|Utmd{v~rsuFvw]bd¢ rO£´rs}w
\¼
v~y]nd<¸qrsuq[Imdot¥xO}~}~ks¸Dv®dXU[I}~¥]bd{r@tUu¥m[po]zdoxsu¥
XU[pu§d{XU[d¢ rU[¤¥uUv¦d{v~rsu]frO£&]z[<qo[pqk@xs{[x/q³dot¥xO}~}¦k@[p:tUv~xs}¦[pu/d
el[<qrsu²¸- &[GqIxsuµd{yxOu]n£´[pfZ\xsu:k
[I«lvw]zd{v~uUµo[p]{tU}®dy]V¾8xOu¥¬d{XU[xOoZ$xsUxrO£xOtmdorsZ$xdov~q\d{rlr/}~]y¿m[Is[p}¦r/5[pF£´r/]{k:u:dox/q³d{vwqV]z[pqI{[<qk
¼ rs
v~u¥]zdoxOuq[s¸]{v~u¥q[Vd{XU[]zklu:doxsqd{vwqV]{[pqI{[<qkFUors|U}~[IZvw]m[pqIv~Uxs|U}~[$£´r/dyxO/s[p UorOd{rUqrs}w]£´rsGxOuªtUum¯
|5r/tUu¥m[p°u:tUZ|5[pbrs£]{[p]o]{v¦r/u¥]79JB;
kdooxsu¥]z}wxdov¦u¥$doXU[doxO/sv~uUxs]o]ztUZ\mdov¦r/uµdorSd{XU[\xO¥U}¦v~[pm¯7Uv
qpxO}wqtU}~t¥]I¸¥ &[qIxsu@m[p{v~s[xG¤¥y]zdU[pqvwUxs|Uv¦}~v¦d¢k{[<]zt¥}®d£´rs_]zd{orsuU$]{[pqo[pqIk$£´rs_xsutUul|5rstUu¥U[p@u:tUZG¯
|5[Irs£D]z[<]{]{v¦r/u¥]
`_doXU[I&m[<qvwUxO|U}~[£´yxO/ZG[pu/dy]Z\v¦/X/d&|5[_m[p{v~s[pG£´{r/ZQ7:9<B;£´rs|5r/tUu¥m[p$ZG[<]{]oxO/[p]
¾8xOu¥uUrsu¥qI[p]y¿xOu¥K7;D£´rsxG|5r/tUu¥m[pu:tUZ|5[prO£]{[p]o]zv~rsu¥]
%&
!#"%$ &')(*+,
^&oklmd{r/syx¥XUv~qbUov¦Z\v¦d{v~s[p]xs{[o[IUo[p]{[Iu:d{[<|:kS£´tUu¥qd{v~rsu¥xs}]{klZ|5rs}w]
aµrso[]{5[pqv¦¤qpxO}~}¦k/¸U &[qr/um¯
]{v~U[IdoXU[]{v¦/u¥xdotUo[
Σ = {enc
¸dec
¸enca
¸deca
¸hi
¸π 1
¸
π 2
¸
sign
¸check
¸pub
¸priv}
T (Σ, X , N )
m[puUrOdo[p]d{XU[_]z[Idrs£d{[p{Z$]|UtUv~}¦dLrs[I
Σ
[«ldo[Iu¥m[<G|:kx]z[IdLrO£-qIrsu¥]zdoxsu/do]p¸doXU[v~um¤¥uUv¦d{[_]{[dLrO£ .-M4"N
xsu¥Sd{XU[v~um¤¥uUv¦d{[]{[drs£OxOov~xs|U}~[p]X
do[IoZ!vw] '4:<" r/D/ Sv¦£'v¦dUrl[p]3uUrOd_qrsu:doxsv¦u@xOu:kxs{vwxs|U}¦[
W3XU[]{[d_rs£u¥xsZ\[p]rmqIqItUo{v~uU\v~u§x\d{[IoZ
m
v~]fm[IuUrsd{[<@|:kfn(m)
¸¥doXU[]{[d_rs£xOov~xs|U}~[p]vw]\m[puUrOdo[p¡|lk
V(m)
W3XU[0#<"1 !#"µv~u¨x°do[IoZt
xs{[U[¤¥uU[<¡o[pqItUo]{v~s[I}~k xs]Gt¥]{t¥xO}¾) 12·x/]]{[p:tU[Iuq[p]rs£5r:]zv¦dov¦s[$v~u/d{[ps[po]y¿³¸
|5[pv¦uUµd{XU[V[IZ\mdnk¬]{[p:tU[pu¥q[
Pos(t)
v~}¦}&m[puUrOdo[\doXU[S]z[IdrO£5r:]zv¦d{v~rsu¥]rO£
t
xOu¥Pos v (t)
doXU[_]z[IdLrs£-5r/]{v®dov~rsu¥]rO£-OxOov~xs|U}~[p]'v~ut
'º [_m[IuUrsd{[|:kt| p
d{X¥[_]ztU|Ud{[IoZ
rs£
t
xd5r:]zv¦d{v~rsup
¸D|:ku[v] p
d{XU[Gdo[IoZ r/|mdoxsv¦u¥[p°|:k§o[IU}wxsqIv¦uUv~u
u
d{XU[$]{tU|md{[p{ZixOd5r/]{v¦d{v~rsup
|lk
v
L¼ rsxdo[IoZu
¸m [U[IuUrOdo[|:kh u
d{XU[£´tUu¥qd{v~rsu@]{klZ|5rs}7¸luxOZ\[rs3xs{vwxO|¥}¦[bxOd35r:]zv¦d{v~r/u
v¦uu
º [m[puUrOdo[|:k≤ st
¾¹{[<]z
< st
¿3doXU[]{tU|md{[p{Z ¾´o[p]{
]zdo{vwq³d³¿rsym[I
3º
[Z$xJk]{v~ZG¥}¦k@]oxJkSd{Xxd
x$d{[p{Z
v
"v~u°x$d{[p{Zu
v¦£v
vw]fxV]{tU|mdo[IoZ rs£u
- £p = i 1 . · · · .i n
¸5 XU[Io[
n ≥ 1
¸-v~]fxV5r/]{v¦d{v~rsu doXU[Iupr(p) = i 1 . · · · .i n−1
vw]d{X¥[#T5r/]{v¦d{v~rsu
d
p
[Iu¥rOd{[|lkN ∗ +
d{XU[]{[drO£]z[<:tU[Iu¥qI[p]
rs£'5r/]{v®dov¦s[v~u/do[Is[po]
º
[[p:tUv~doXU[]{v¦/u¥xdotU{[b v¦doX@xsu[p:t¥xdov~rsu¥xO}-d{XU[prsok
E
π 1 (hz 1 , z 2 i) = z 1
π 2 (hz 1 , z 2 i) = z 2
dec(enc(z 1 , z 2 , z 3 ), z 2 ) = z 1
deca(enca(z 1 , pub(z 2 ), z 3 ), priv(z 2 )) = z 1
check(z 1 , sign(z 1 , priv(z 2 )), pub(z 2 )) = ok retrieve(sign(z 1 , z 2 )) = z 1
W3XU[b£´tUu¥q³dov¦r/u@]zklZ|5r/}~]
π 1 , π 2 , dec, deca, check
xsu¥retrieve
xOo[bqIxs}¦}~[p 4"1 T'(" [Id
R E
|5[
doXU[$qr/{o[p]{5rsu¥mv~uUSo[I ov®do[G]{km]ndo[IZ ¾¹rs|mdyxOv~uU[pF|:k§r/{v~[Iu:d{v~uUSdoXU[\[p:t¥xOd{v~rsu¥]f£´{r/Z }~[£dd{rov~sX/d³¿
R E
vw]_qrsuls[Ios[Iu:d
W3XU[uUr/{Z$xO}²£´rsoZrO£xGdo[IoZ
t
d R E
v~]_m[Iu¥rOd{[<|lk
t↓
" rOdov~qI[doX¥xdE
vw]xs}~]{r]zdoxO|¥}¦[|lkG]{tU|¥]zd{v¦d{tUd{v~rsuVrO£²u¥xsZ\[p]
_]t¥]ztxO}7¸/ &[ ov¦d{[
u → v
v¦£-doXU[Io[[«mvw]zdo]θ
¸:x5r/]{v¦d{v~rsup
v~uu
xOu¥l → r ∈ R E
]zt¥qyXdoX¥xd
u| p = lθ
xOu¥v = u[rθ] p
W3XU[§]zklZ|5rs}
h , i
{[pU{[<]z[pu/dy]doXU[µ¥xsv¦ov¦u¥F£´tUu¥qd{v~rsu·xsu¥π 1
xsu¥
π 2
xs{[d{XU[°xs]o]zrmqIv~xOd{[p
UorOn[pqd{v~rsuF£´tUu¥q³dov¦r/u¥]
W3XU[\d{[p{Z
enc(m, k, r)
o[IUo[p]{[Iu/dy]fdoXU[$Z\[p]o]{xss[m
[Iu¥qoklmdo[pF v¦d{X¬d{XU[¶s[pk
k
W3X¥[d{X¥v¦y$xs{/tUZG[pu/dr
o[[pq³dy]d{X¥xOdLdoXU[_[Iu¥qI{klmdov¦r/u\vw]LUors|¥xs|Uv~}¦vw]zd{vwq d¢ &r[Iu¥qoklmdov¦r/u¥]rs£doXU[]oxOZ\[3Z\[<]{]oxO/[p]'tUum[IdoXU[_]{xsZG[¶s[Ikm]xs{[Uv#-[Io[Iu/d
W3X¥[]zklZ|5r/}
dec
]ndyxOu¥¥]'£´r/m[pqoklmd{v~rsu
W3XU[]{klZ|5rs}w]
enca
xsu¥deca
xOo[3s[Iok]{v¦Z\v~}~xs|Utmdv~u$xOu$xs]{k:Z\Z\[do{vwq3]{[dzdov¦u¥¥¸s XU[p{[pub(a)
xsu¥priv(a)
{[pU{[<]z[pu/do[p]{5[pq³dov~s[I}~kd{XU[UtU|U}~vwq3xsu¥¥{v~xOd{[¶s[Ikm]rO£-xOu\xOs[pu/da
W3XU[do[IoZsign(m, k)
o[IUo[p]{[Iu:do]Ld{XU[]zv~suxd{t¥{[_rO£Z\[p]{]oxO/[
m
v¦d{X¶s[Ikk
check
[Iu¥xs|U}¦[<]Ldor/[I{v¦£´kGd{XU[]{v¦/u¥xdotU{[fxOu¥retrieve
[pu¥xO|U}~[p]dor\o[d{ov~[Is[fdoXU[]zv~su¥[pZG[<]{]oxO/[f£´{r/Z d{X¥[]zv~su¥xOd{tUo[
£d{[pfdoXU[[«m[<qtmdov¦r/u§rO£&xVUorOd{rUqrs}7¸5xOuFxdzdyxsqy¶s[If¶luUrJ ]doXU[Z\[p]o]oxOs[<]_]z[pu/dbrsu§d{XU[u¥[dn &rso¶
xsu¥ xO}w]zrµv¦u XUvwqoX rsym[pd{XU[pkF &[p{[V]{[Iu/d
elt¥qyX Z\[p]o]{xss[$]z[<:tU[Iu¥qI[p]xOo[\r/{:xOuUv:LI[<Fxs]D$(.-M4"
ϕ = ν e n.σ
¸L XU[p{[σ = { m 1 / y 1 , . . . , m k / y k }
vw]Gx°sorst¥u¥ª]ztU|¥]zdov®dotmd{v~rsu¨xOu¥e n
vw]Gx§¤¥uUv¦d{[@]z[IdGrs£u¥xsZ\[p]
º
[m[Iu¥rOd{[|:k
dom(ϕ) = dom(σ) = {y 1 , . . . , y k }
W3XU[OxOov~xs|U}¦[<]y i
[IuxO|U}~[t¥]dor\{[I£´[I
dor[px/qoXFZ\[p]o]{xss[
W3XU[Gu¥xsZ\[p]bv~u
e n
xs{[G]oxOvw§d{r@|[J4"(1 !'4(=-
u/d{t¥v®dov¦s[p}¦k/¸²doXU[p]{[GuxOZ\[p]xs{[E
1 !1 &tUu¥¶:u¥rJ udorGd{XU[v~u/d{ot¥m[p
d{[IoZ
M
vw]]oxOvw 4 !' d x£´oxsZ\[ν n.σ e
¾´rs]{v¦Z\U}~kn e
¿v¦£
fn(M ) ∩ e n = ∅
W3XU[]z[Idrs£'{[<]ndo{vwq³do[pu¥xOZ\[<]e
n
Z\v¦/X/d|5[rsZ\v®d{d{[< X¥[Iu@v®dvw]q}~[pxO3£´orsZ!d{XU[qIrsu/do[«ld
º
[t¥]zt¥xs}~}¦kV ov¦d{[
νn
v¦u¥]zd{[<xsrs£ν{n}
¸¥xsu¥Sd{X¥[]{xsZG[b£´rs|Uv¦/s[p]z[Ido]
!#"! *.'
Ibv~s[Iu·x¬£yxOZ\[
ϕ
d{X¥xOdV{[pUo[p]{[Iu/dy]Gd{XU[§XUv~]zd{r/{k¡rO£ZG[<]{]oxO/[p]\]{[Iu:dSmtUov¦u¥¬d{X¥[µ[«m[<qtmdov¦r/u¨rO£xUorOdormqr/}8¸ [µm[I¤¥uU[@d{X¥[ .T'4 !M{[p}~xOd{v~rsuD¸m[puUrOdo[p¨|:k
ϕ ` M
[<mt¥qv~|U}~[µZ\[p]o]oxOs[<]Gxs{[Z\[p]o]oxOs[<]d{XxdqpxOuF|5[Grs|mdyxOv~uU[p§£´{r/Z
ϕ
|:k°xO¥U}¦klv~uUS£´tUuq³d{v~rsuxO}]{klZ|5rs}w]bxsu¥µdoXU[\[p:t¥xdov¦r/u¥xO}
P! #"%$'&)('*,+-&./&(/.0132
(#*456('&78$9
84
P%:;56$'.0!
51P<51P= #+%&>(
P-&2<./&(#(,
&6?A@B5C&%P%:;56$D*& '+-&
P #$D"-2-&$
*878E 4
&(F%G&H8(#('"-./&I #+! I./&(#(#
&(*(P>84GJ1K(EL&M$'&N '$
&NO&2)56"% 56:B '+-&H(
P! #"%$'&6?
doXU[Ir/{k
E
ν n.σ ˜ ` xσ x ∈ dom(σ)
ν n.σ ˜ ` s s ∈ N \ e n ν ˜ n.σ ` t 1 · · · ν n.σ ˜ ` t r
ν ˜ n.σ ` f (t 1 , . . . , t r )
ν n.σ ˜ ` t t = E t 0 ν n.σ ˜ ` t 0
)Á #4 -"
k
hk, k 0 i
(/T' D4:O$(.- # $(/-νk, k 0 , r.{ enc(k,k 0 ,r) / x , k / 0 y }
1Z\[p]o]{xss[bvw]t¥]{t¥xO}~}~kS]oxOvw]{[pqo[dv®£v¦dvw]uUrsd_m[pmt¥qIv¦|¥}¦[
kSr/U5r/]{v®dov¦r/uSdor$rstUu¥[«lduUrsd{v~rsu
rs£]z[<q{[<qk/¸l &[]{xJk$d{X¥xOd_xd{[IoZ
M
vw]&"(*23'4 !' * " '43v¦uϕ
v¦£ϕ 6` M
!#" &*+ * +M (
[pmt¥qIv¦|¥v¦}~v¦d¢kmrm[p]3uUrOd_xO}~ xJkm]3]ztm½VqI[bd{r$[«mUo[p]o]&d{XU[xs|Uv~}¦v¦d{v~[p]rO£xsuv~u:d{ot¥m[I
)Á #>" %$J .T' 9 -1"("4" " 5T".-M $1 #&$(/-1"
ϕ 1 = νk,n 0 ,n 1 ,r 0 . { enc(n 0 ,k,r 0 ) / x , hn 0 ,n 1 i / y , k / z }
ϕ 2 = νk,n 0 ,n 1 ,r 1 .{ enc(n 1 ,k,r 1 ) / x , hn 0 ,n 1 i / y , k / z }
0' " 2J34 'D5TD5T=:<"1-4"("4 3'1)4"# <"M2E "1 'A' 4"10#1 !'
#=23'34 " "1 5 " 5T 1:<" 4"42( 4*
ϕ 1
ϕ 2
º [ ]{xJk©doX¥xdµxª£yxOZ\[
ϕ = ν e n.σ
#" "4"K5TK4"((M, N )
XU[Io[M, N
xs{[§dn &r¡d{[p{Z$]p¸m[puUrOdo[p¬|:k
(M = N )ϕ
¸'v®£doXU[Io[$[«mvw]ndy]x@o[Iu¥xsZGv~uU@rO£d{X¥[$o[p]zd{ov~qd{[pFuxOZ\[p]v~uϕ
]zt¥qyX¬d{X¥xOd(fn(M )∪fn(N ))∩ n e = ∅
xOuM σ = E N σ
W &r£´oxsZG[<]ϕ = ν e n.σ
xOu¥ϕ 0 = ν m.σ e 0
xOo[A"1 !' *8¸D {v¦dzdo[Iu
ϕ ≈ ϕ 0
¸-v¦£LdoXU[Ik§¥xs]o]doXU[\]{xsZ\[do[p]zdo]p¸5doX¥xdvw]dom(ϕ) = dom(ϕ 0 )
xOu¥µ£´r/xs}¦}5d{[IoZ$]
M, N
]zt¥qyXVdoX¥xd(V (M ) ∪ V(N )) ⊆ dom(ϕ)
xOu¥(fn(M ) ∪ fn(N)) ∩ ( n e ∪ m) = e ∅
¸l &[X¥xJs[
(M = N )ϕ
v#(M = N )ϕ 0
)Á #@$(/-1"
ϕ 1
ϕ 2
"! ( $#5/- % "1 !' * <4 "1 '
(dec(x, z) = π 1 (y))ϕ 1
(dec(x, z) 6= π 1 (y))ϕ 2
[d
s
|5[\xV£´o[I[u¥xsZ\[rO£&xV£´yxOZ\[
ϕ = ν e n.σ
º [\]ox<kdoX¥xds
vw]"(5* " '_v~u
ϕ
v®££´rs[ps[Iok§q}~r/]{[p°UtU|U}~vwqdo[I{Z$]
M, M 0
d ϕ
¸D &[\X¥xJs[ϕ( M / s ) ≈ ϕ( M 0 / s )
d{Xxdvw]I¸Dd{XU[$v¦u:d{ot¥m[IqpxOuUuUrsd3mvw]zd{v~uUstUvw]{XSd{XU[b£´oxsZG[bv~u¥]ndyxOu:d{vwxd{[<S|:k$d¢ rdo[IoZ$]rO£v®dy]3qyXUrsvwq[
¼
rs]zv~Z\U}~v~qIv®dnkV &[bZ$x<k
r/ZGv¦d
s
xOu {v¦d{[
ϕ(M )
v¦u]ndo[pxsrs£ϕ( M / s )
!#"'& &')(*+M * )( I+* ' -,/.(( *0*21(435( +* '
elklu:doxsqd{vwq]{[pqI{[<qkv~]_t¥]{t¥xO}~}¦k &[pxs¶s[IdoX¥xOu°]ndo{r/uUV]{[pqo[pqIk+6
º
[¤¥y]nd_[I«mXUv¦|¥v®db]{rsZ\[[«UxOZ\U}~[p]rs£
£´yxOZ\[p]d{XxdU{[<]z[p{s[<]]{k:u:dox/q³d{vwqV]z[<qo[pqIk°|UtmduUrsd]zd{orsuU§]{[pqo[pqIk
W3XU[Ik xO}~}o[I}~kFrsuªmv#5[Io[Iu:d
Uors5[pzdov¦[<]
7 Å m98')'88I:8¹ Á0; O Â '<8Å=;?>ªW3XU[V£´yxOZ\[
ψ 1 = ν s , k, r.{ enc(s ,k,r) / x , enc(n,k,r) / y }
Url[p]uUrOdUo[p]{[Ios[d{XU[§]zd{orsuU ]{[pqo[pqIk rs£
s
- u¥m[I[<²¸ψ 1 (n) 6≈ ψ 1 (n 0 )
]zv~u¥q[(x = y)ψ 1 (n)
|Utmd(x 6=
y)ψ 1 (n 0 )
W3X¥v~]_ &rstU}w@uUrOdfX¥xOU5[puµv¦£[px/qoXµ[Iu¥qI{klmdov~rsu@t¥]{[pµxVmvw]zd{v~u¥q³dfyxOu¥UrsZ\uU[p]o]p¸md{X¥xOd_vw]p¸v®£doXU[[Iu¥qI{klmdov¦r/u x/]3U{r/|¥xO|¥v¦}~v~]zd{vwq
ÀµÁ/ Å
:8¹<8
Å=;?>fW3XU[£´yxOZ\[
ψ 2 = ν s , n.{ enc(hn,n 0 i, s ,r) / x }
mrl[p]_uUrOdfUo[p]{[Ios[d{XU[]zd{orsu¥V]z[I¯qI{[pqIk rO£
s
- um[I[<²¸ψ 2 (k) 6≈ ψ 2 (k 0 )
]zv~u¥qI[(π 2 (dec(x, k)) = n 0 )ψ 2 (k)
|Utmd(π 2 (dec(x, k)) 6= n)ψ 2 (k 0 )
- £s
rmqIqItUy]$v~u ¶s[Ik¨5r:]zv¦d{v~rsu v¦u#]{rsZ\[°qIv¦UX¥[I{d{[«ld<¸3doXU[Fv¦u:d{ot¥m[I
Z$xJkµd{okµd{rµm[<qoklmdd{XU[Vqv~UXU[pzdo[«ld]{v¦uq[
s
vw]{[pU}wxsq[<°|:k°UtU|U}~vwqdo[IoZ$]xOu¥¬qoX¥[pqy¶µ£´rs]{rsZ\[
o[pmtUuUxOu¥qIk
-
dZ$x<kVrmqpqtUdoX¥xdd{XU[[Iuq{klmdo[pZ\[p]o]{xss[bUrl[p]3uUrOdqIrsu:doxOv~uxsu:kVs[p{v¦¤xO|¥}¦[b¥xszd
-
udoX¥xd_qIxs]{[s¸ld{XU[£´oxsZ\[bZ$xJkVU{[<]z[p{s[b]zdo{r/uUG]{[pqI{[<qk
-
dvw]£´rs[«UxOZ\U}~[bd{XU[qIxs]{[brO£d{X¥[b£´yxOZ\[
νn{ enc(n, s ,r) / x }
elt¥qyX@qpxs]{[p]3xs{[XUrJ [Is[I:tUv®do[oxs{[bv¦u@Uyxsqd{vwq[
µÅ Æ Á pI 'O Å >3W3XU[_£´oxsZ\[
ψ 3 = ν s .{ π 1 ( s ) / x }
mrl[p]&uUrOd¥{[<]z[Ios[doXU[b]zd{orsuU]z[<qo[pqkGrs£s
]{v¦Z\U}~kS|5[pqpxOt¥]{[
(x = k)
v~]3d{otU[b£´r/ψ 3 (hk, k 0 i)
XUv~}¦[uUrsd3£´rsψ 3 (k)
SÁ I8Á5Á )Á=>LW3XU[
retrieve(sign(z 1 , z 2 )) = z 1
Z$x<kb]{[I[pZ xOo|Uv¦d{yxOok]{v~u¥q[LuUrsdxO}~}s]{v~su¥xOd{tUo[
]oqoX¥[IZ\[p]b[Iu¥xs|U}~[dors[dbdoXU[\]{v¦/uU[p°ZG[<]{]oxO/[rstUdrO£x]{v¦/u¥xdotUo[
-
dvw]x/q³d{txO}~}¦k§qot¥qvwxO}£´r/rstU
o[p]{tU}¦d
'¼
r/'[«UxOZ\U}~[s¸d{XU[&£´yxOZ\[
ψ 4 = ν s .{ sign( s ,priv(a)) / x , pub(a) / y }
Url[p]'uUrOdUo[p]{[Ios[Ld{XU[]ndo{r/uU]{[pqo[pqIk$rs£
s
|5[pqpxOt¥]{[
(check(n, x, y) = ok)
vw]do{tU[£´rsψ 4 (n)
|Utmd_uUrOd£´rsψ 4 (n 0 )
-u d{X¥[p]{[$£´rst¥qIx/]z[<]I¸d{XU[V£´yxOZ\[p]Uo[p]{[Ios[GdoXU[]{k:u:dox/q³d{vwqV]{[pqo[pqIk°rO£
s
¸doX¥xdvw]
ψ i 6` s
¸'£´r/
1 ≤ i ≤ 4
W3XUv~]}~[pxs¥]3t¥]dorGdoXU[£´rs}~}¦r v~uU\m[I¤¥uUv¦d{v~rsu
Á9;
8´:8
Å=; $(/-
ϕ = ν e n.σ
" &[I}~}¦¯8£´r/{Z\[p ::@".-M .-Ms
$
6'44*% ! " 4 "( !'6 1 $1T*" 44 -
enc(m, t, r)
)$φ
$4T* 4 -t 0 ∈ φ
T<"1 !
p
" T' K#t 0 | p = r
Tp = q.3
$4".-Mq
t 0 | q = enc(m, t, r)
# "4.-M'( T" $4 <"1*/- -M 1 !'4'41* ! 1 ! $
s
B' ' ("
m
#<"1 !
p 0
" T' #4'44*% !K # ("##5&$(.- #&B 2p 0
#r
- 5"1 1"11 !'4 / 5#@ "
r ∈ e n
%
s
"K #1)$ 3* 1 6$4
enc(m, t, r)
enca(m 0 , t 0 , r 0 )
sign(u, v)
pub(w)
priv(w 0 )
" 2 -" %$ϕ
s ∈ / fn(t, t 0 , v, w, w 0 , n, n 0 )
ϕ
B1" 8' 2 31"1 T'4&"1*/-3("^&r/u¥mv¦d{v~rsuK9o[p:tUv~{[<]doX¥xd[<xsqyXv~uUuU[IoZ\r/]zd3[pu¥qoklmd{v~rsuxs|5rJs[
s
qr/u/dyxOv~u¥]3xG{[<]ndo{vwq³do[pSyxOu¥mr/ZG¯
uU[<]{]
W3XUv~]vw]uUrOdx@{[<]ndo{vwq³dov¦r/u¬]{v¦uq[
s
vw]Z\[pxsu/ddor@|5[Vxµ]z[<qo[dxs}¦t¥[$xOu¥ ]ztqoX [Iu¥qI{klmdov~rsu¥]
X¥xJs[bd{r$|[Uormmt¥qI[p|:kSXUr/uU[p]zdxO/[Iu:do]xOu¥SdoX:t¥]qIrsu:doxOv~u@xG{[<]ndo{vwq³do[poxsu¥mrsZ\uU[<]{]
¼
rs [I}~}®¯7£´rsoZG[<V£´yxOZ\[p]p¸U]{k:u:dox/q³d{vwq]{[pqo[pqIk$vw]x/q³dot¥xO}~}¦kV[<:tUv¦OxO}~[Iu/dd{r$]zd{orsuU\]{[pqI{[<qk
ÁlÅ Á 4
ϕ = ν e n.σ
(= $4 -M( $(/-::s ∈ e n
ϕ 0 s
ν e n\{ s }.σ( M / s ) ≈ ν n\{ e s }.σ( M 0 / s )
$4
M, M 0
'<"( 4 !'2 -"&::ϕ
7 ÅDÅ
º
[Uo[p]{[Iu:dd{XU[]{¶s[I}~[dorsu@rs£d{XU[Uorlrs£xO}~}m[Idoxsv¦}w]_qIxsuµ|5[£´rst¥u¥@v~u°U5[Iumv®«§
[d
ϕ = ν e n.σ
|5[xV &[I}~}¦¯8£´rsoZ\[p£´yxOZ\[ d
s ∈ e n
D-£ϕ ` s
¸d{XUvw]do{v~lv~xs}¦}~kv~Z\U}¦v~[p]_d{X¥xOd
s
vw]_uUrOd
]zd{orsuU/}¦k°]{[pqI{[Id
-
u¥m[p[p²¸doXU[Io[$[«mvw]ndy]x@UtU|U}~vwq\d{[IoZ
M
d ϕ
]zt¥qyX¬doX¥xdM σ = E s
¾doXUv~]
qpxOuS|5[b[<xs]{v¦}~k$]{XUrJ u|:k$v~u¥mt¥qd{v~rsur/uVdoXU[m[<mt¥q³dov¦r/u]zkm]zd{[pZ$¿
[d
n 1 , n 2
|5[f£´{[<]zXu¥xOZ\[<]]{t¥qyX
doX¥xd
n 1 , n 2 ∈ / e n
xOu¥n 1 , n 2 ∈ / fn(ϕ)
elv~u¥q[M σ( n 1 / s ) = E n 1
doXU[G£´oxsZ\[p]
ν n\{ e s }.σ( n 1 / s )
xsu¥ν e n\{ s }.σ( n 2 / s )
xOo[mvw]ndov~uUstUvw]zXxO|U}~[ v®doXd{XU[do[p]zd(M = n 1 )
º
[$xs]o]ztUZ\[uUr »doX¥xd
ϕ 0 s
º[¤o]zd]zXUr »d{X¥xOdxsu:k§]zklu:doxsqd{vwq[<:t¥xO}~v®dnk§]oxd{vw]z¤¥[p§|lk@doXU[
£´yxOZ\[
ϕ( M / s )
v~]xO}~o[pxsmkS]{xOd{vw]n¤¥[<S|lkϕ
&Á O4
ϕ = ν n.σ e
( $4 -M(K$(.-M ::s ∈ e n
u, v
2 -" " T' 05TV(u), V(v) ⊆ dom(ϕ)
M
'"4( 4 -u
v
M
!' ::n e
$ϕ 0 s
uσ( M / s ) = vσ( M / s )
5-) !1"uσ = vσ
t
(K "4 - %$ 4 -σ
5TM3 4"E'(T
s
!$
ϕ 0 s
t = vσ( M / s )
5- !1"t = vσ
W3XU[§¶s[pk©}~[IZ\Z$x v~]Vd{XxdxOu:k¨{[<mt¥q³dov~rsu d{X¥xOdxsUU}~v¦[<]$d{r©x U[pmt¥qIv¦|U}~[§d{[p{Z
t
XU[p{[s
v~]
o[IU}wxsqI[pS|lk]zr/ZG[
M
¸¥mv¦o[pqd{}~kSxsUU}~v¦[<]d{rt
&Á O4
ϕ = ν e n.σ
( > 4$4 - $(/-M::s ∈ e n
" T' 5Tϕ 0 s
O4
u
(4 - 5
V(u) ⊆ dom(ϕ)
M
(J'<"(>2 - -5$4 -u
M
!'M::e
n
?$uσ( M / s ) → v
$4D".-M -v
O# 5T4 "1!" $4 -8$().-ϕ 0 = ν e n.σ 0
::s
#32
ϕ
#@ "xσ 0 = xσ
$4x ∈ dom(σ)
)4" 5>3 /T' D4 -"
ϕ ` w
ϕ 0 ` w
"T'J#
v = v 0 σ 0 ( M / s )
$4 "/-v 0
!'::e n
W3XUvw]}¦[pZGZ$xxs}~}¦r ]t¥]&d{r\qrsuq}~t¥m[_d{X¥[bU{rmrO£DrO£W3XU[prso[IZ 9
¼
v¦«SxOo|Uv®dooxs{v~}~kdn &rUt¥|U}¦vwqbq}~r/]{[p
do[IoZ\]
M, M 0
ªº [@qpxOu©x/]{]{tUZ\[}r d{Xxd
M
xsu¥M 0
xs{[v¦u©u¥rsoZ\xs}£´r/{Z
[d
u 6= v
|5[d¢ rSUtU|¥}¦vwqd{[p{Z$]b]zt¥qyXµdoX¥xd
V(u), V(v) ⊆ dom(ϕ)
xsu¥uσ( M / s ) = E vσ( M / s )
W3XU[Iu§d{X¥[Io[xs{[
u 1 , . . . , u k
xsu¥
v 1 , . . . , v l
]zt¥qyX¬d{X¥xOd
uσ( M / s ) → u 1 → . . . → u k
¸
vσ( M / s ) → v 1 → . . . → v l
¸
u k = uσ( M / s )↓
¸v l = vσ( M / s )↓
xsu¥u k = v l
UU}~klv¦u¥§o[I5[<xdo[pm}~k
[pZ\Z\xF@ &[Sr/|mdoxsv¦u doX¥xddoXU[Io[S[«mv~]zdUtU|U}~v~qVd{[IoZ$]
u 0 1 , . . . , u 0 k
xsu¥v 1 0 , . . . , v l 0
xsu¥ &[p}¦}¦¯8£´r/{Z\[<F£´yxOZ\[p]ϕ u i = ν e n.σ u i
¸'£´rsi ∈ {1, . . . , k}
xsu¥ϕ v j = ν e n.σ v j
¸£´r/j ∈ {1, . . . , l}
¾¹x/]3v¦ud{X¥[}¦[pZGZ$x:¿]{t¥qyXd{Xxdu i = u 0 i σ u i
xOu¥v j = v j 0 σ v j
º
[qrsu¥]{vwm[I
ϕ 0 =ν e n.σ 0
XU[Io[σ 0 =σ u k ∪ σ v l
elv¦uq[r/uU}¦k]{tU|mdo[IoZ\]rO£ϕ
X¥xJs[|5[I[puµxsUm[<dor
ϕ 0
¸mv¦dvw][<xs]{kGdorGs[p{v¦£´k\doX¥xdϕ 0
v~]]ndov¦}~}Dx &[p}¦}¦¯7£´rsoZG[<$£´yxOZ\[xsu¥V£´rs[Is[Iok\d{[IoZw
¸ϕ ` w
v#ϕ 0 ` w
- u@¥xO{d{vwqt¥}~xsϕ 0 0 s
kFqr/u¥]ndo{t¥qd{v~rsuF [\X¥xJs[doX¥xd
u 0 k σ u k ( M / s )=v 0 l σ v l ( M / s )
W3XU[IuD¸|:k
[pZ\Z\x 9/¸D [$m[pmtq[
doX¥xd
u 0 k σ u k ( s )=v l 0 σ v l ( s )
doX¥xdv¦duσ = E vσ
k§]zdoxs|Uv¦}~v¦d¢k§rO£]{tU|¥]ndov¦d{tmdov¦r/uFrs£u¥xsZ\[p]p¸² &[GX¥xJs[uσ( M 0 / s ) = E vσ( M 0 / s )
º [U[pmt¥qI[bdoX¥xdν e n\{ s }.σ( M / s ) ≈ ν n\{ e s }.σ( M 0 / s )
% %
Wr]{v¦Z\U}~v¦£´kd{XU[xOu¥xO}~k5LI[rO£d{XU[xsqd{v~s[3qIx/]z[/¸ [o[p]zd{ovwq³drst¥xd{d{[Iu:d{v~rsudorbxOv~{v~uUxOu¥G]zklZ\Z\[do{vwq
[pu¥qok:Ud{v~rsud{XU[xO}~UX¥xs|5[d
Σ
v~]_uUrJ 1{[<mt¥qI[pd{rΣ = {enc, dec, hi, π 1 , π 2 }
xsu¥E
vw]}¦v~Z\v®do[p@d{r doXU[¤¥o]zd3doXU{[p[[p:t¥xOd{v~rsu¥]
#"%$ 1/0 ( 3 .* 1 * 1/+1 ( *( *0 + . . . +M (
W3XU[xO¥U}¦v~[p@UvqpxO}wqtU}~t¥] 7:94;vw]x$U{rUq[p]o]xO}~s[p|Uyx &[p}¦}¦¯¢]ztUv¦d{[<£´r/Z\rmm[I}~v~uUVqoklmd{r/syxOUXUvwqfUorO¯
dormqr/}~]p¸ls[puU[IyxO}~v:LIv~uUd{X¥[]{Uv¦¯±qpxO}wqtU}~t¥] 7<;
º
[]zXUr/zdo}¦kSm[<]{qI{v~|5[bv¦do]]zklu:dox«xsu¥]z[pZ\xsu/dov~qp]
W3X¥v~]
¥xszdvw]3Z\r:]ndo}¦kS|5rso{r &[pV£´{r/Z 7:91;
6 ' 4"("1"³¸xs}~]{r\qIxs}¦}~[pU}wxOv~uUormqI[p]{]{[p]p¸mxOo[m[I¤¥uU[p|:kVdoXU[syxOZ\Z$xO
P, Q, R :=
Uormq[p]o]{[p]0
u:tU}~}DUormq[<]{]
P|Q
xOyxO}~}¦[p}²qr/ZG5r:]zv¦d{v~rsu!P
o[I¥}¦vwqIxOd{v~rsuνn.P
u¥xsZ\[o[p]ndoov~qd{v~rsuif M = N then P else Q
qr/u¥mv¦d{v~rsu¥xs}c(z).P
ZG[<]{]oxO/[bv¦uU¥tmdchM i.P
Z\[p]o]oxOs[br/tmd{UtUdXU[p{[
n
vw]x§u¥xsZ\[s¸M
¸N
xOo[$d{[p{Z$]p¸xsu¥c
vw]x§uxOZ\[SrsGx§xs{vwxO|¥}¦[
W3XU[SultU}~}Uormq[<]{]
0
mrm[p]uUrsd{XUv~uU
xsoxs}¦}~[I}²qr/Z\5r/]{v®dov¦r/uS[«m[<qtmdo[p]&doXU[bdn &r\U{rUq[p]o]{[p]qrsuqtUo{[pu/do}¦k
[I¥}¦vwqIxOd{v~rsu
!P
qI{[pxOd{[<]tUul|5rstUu¥U[pm}~kGuU[p v~u¥]ndyxOu¥qI[p]Lrs£
P
" xOZ\[o[p]zd{ovwq³d{v~rsuνn.P
|¥tUv¦}wU]&xuU[I ¸:Uov¦Oxd{[u¥xsZG[n
¸-|Uv~u¥U]bv®dv¦uP
xsu¥@doXU[IuF[«m[pqItmd{[<]P
W3XU[Gqr/u¥mv¦d{v~rsu¥xs}if M = N then P else Q
|5[IX¥xJs[p]}~v¦¶s[
P
rsQ
m[I5[pu¥mv~uUr/u$doXU[fo[p]{tU}¦d&rs£²doXU[_do[p]zdM = N
- £Q
vw]d{X¥[fu:t¥}¦}-Uormq[<]{]Ld{XU[puS [ft¥]z[doXU[buUrOdyxd{v~rsu
[M = N].P
v¦u]ndo[pxs¼
v~u¥xO}~}~ks¸:d{X¥[f¥{rmqI[p]o]
c(z).P
v~uUUtmdy]3xZ\[p]o]{xss[fxOu¥V[I«l[<qtmdo[p]P
|¥v¦u¥Uv¦uU°doXU[OxOov~xs|U}¦[z
d{r°d{XU[{[<q[Iv~s[p Z\[p]o]{xss[/¸' XUv~}~[Sd{XU[U{rmqI[p]o]chM i.P
rstmdoUtmdy]d{X¥[Z\[p]o]oxOs[
M
xOu¥Sd{XU[pu|5[IX¥xJs[p]}~v¦¶s[P
º [Z\xJkVrsZ\v®dP
v¦£v¦dvw]0
-u X¥xd3£´rs}~}¦r ]p¸l &[{[p]zdo{vwq³d
r/tULxdzdo[Iu:d{v~rsuGd{rd{XU[qpxs]{[ XU[p{[
c
v~]u¥xsZG[]zv~u¥qI[3v¦dLv~]t¥]{t¥xO}~}~k]{tm½Vqv~[Iu/dLd{rZ\rmU[I}¥qok:Ud{rs/oxOUX¥v~qUorOdormqr/}~]
$#32 3 ' 4"("1"xOo[m[I¤¥uU[p|lkVd{XU[/oxsZGZ$xs
A, B :=
[«ld{[pu¥m[<Uormq[<]{]{[p]P
U}~xsv~uU{rUq[p]o]A|B
xOyxO}~}¦[p}²qr/ZG5r:]zv¦d{v~rsuνn.A
u¥xOZ\[o[p]zd{ov~qd{v~rsuνx.A
OxOov~xs|U}¦[bo[p]zd{ov~qd{v~rsu{ M / x }
xsq³dov¦/[]{tU|¥]zd{v¦d{tUd{v~rsu' < " 4"( !T"\s[puU[IyxO}~vLp[
let
¸'v¦u d{X¥[S]z[pu¥]z[\doX¥xdνx.({ M / x }|P )
qr/{o[p]{5rsu¥U]bd{rlet x = M in P
¸_ X¥v¦}~[Ft¥uU{[<]ndo{vwq³do[p²¸{ M / x }
|5[IX¥xJs[p]}~v¦¶s[¬x¡5[p{Z$xOu¥[Iu/d@¶:u¥rJ }~[pm/[s¸_[p{Z\v¦dzdov¦u¥¡d{ro[£´[Is}~rs|xO}~}¦k§d{r
M
|:k¬ZG[<xOu¥]rO£x
@º [Sv~U[Iu/dov®£´k xs{vwxO|U}~[$]{tU|¥]zd{v¦d{tmdov¦r/u¥]{ M 1 / x 1 , . . . , M k / x k }
¸k ≥ 0
v®doX[I«ld{[Ium[pU{rUq[p]o]z[<]{ M 1 / x 1 }| . . . |{ M k / x k }
- u¥xszdov~qItU}~xsd{XU[[IZ\mdnk]{tU|¥]zd{v¦d{tmdov~rsu@v~]vwm[Iu:d{v¦¤¥[p v¦doXdoXU[u:tU}~}DUormqI[p]o]
º
[U[IuUrsd{[|:k
fv(A)
¸bv(A)
¸fn(A)
¸-xOu¥bn(A)
d{XU[G]z[Ido]_rO££´{[p[xOu@|5r/tUu¥µxOovwxO|U}~[p]xOu£´o[I[SxOu¬|5r/tUu¥ u¥xsZG[<]rO£
A
¸{[<]z5[<q³d{v~s[I}~k/¸'m[¤¥u¥[p v~u¥mtq³d{v~s[I}~k xs]t¥]{t¥xO}L£´r/doXU[V¥v&qpxO}wqtU}~t¥]qIrsu¥]zd{ot¥q³dy]_xsu¥µt¥]{v¦uU
fv({ M / x }) = fv(M ) ∪ {x}
xsu¥fn({ M / x }) = fn(M )
£´r/bxsqd{v~s[]{tU|¥]zd{v¦d{tU¯dov¦r/u¥]
uF[«ld{[pu¥m[p§UormqI[p]o]vw]='"4(§v®£&v®dbXxs]_u¥rV£´o[I[xOovwxO|U}~[p][I«mqI[ImdfdoXUr/]{[v~u§d{XU[\mrsZ$xOv~u
rs£xsq³dov¦s[]{tU|¥]zd{v¦d{tmdov~rsu¥]
/
«ld{[Ium[pFUormq[<]{]{[p]f|UtUv~}®dtUF£´{r/Z d{X¥[GultU}¦}¥{rmqI[p]o]¾¹t¥]{v¦uUdoXU[\sv~s[IuFqIrsu¥]zd{ot¥qd{v~rsu¥]p¸5d{Xxd
vw]I¸¥xOyxO}~}~[I}qr/ZG5r:]zv¦d{v~r/uD¸²o[p]zd{ov~qd{v~rsu¬xOu¥¬xsqd{v~s[\]{tU|¥]zd{v¦d{tmdov¦r/u¥]y¿bxs{[\qIxs}¦}~[p>$(/-1"
Wr@[Is[p{k
[I«:do[Iu¥m[<@UormqI[p]o]
A
&[xs]o]zrmqIv~xOd{[bdoXU[£´oxsZG[ϕ(A)
r/|mdoxsv¦u¥[p@|:ko[IU}wxsqv~uUVxs}¦}[pZ|5[pUm[<µU}~xsv¦uUormq[<]{]{[p] v¦d{X
0
&M(#&&M4! #&$
P0 #+
(('&*N
51PG+10G&M"%(#& '+-&H(#8./& P8./&M8(J:;56$ '+-&P-58
51P2-&P-&2
P('&*N
51P%?
u <T !0' T #3Gvw]SxOu [I«:do[Iu¥U[p U{rUq[p]o]\ v¦d{X x XUr/}~[µuUrOdStUu¥U[Ix o[IU}~v~qpxdov¦r/uD¸3x
qIrsu¥mv¦d{v~rsuxO}7¸mxsuv¦u¥Utmdr/xsurstmdoUtmd
T'4 # '(¾
≡
¿'v~]'d{XU[]{Z\xs}¦}~[p]zd[p:tUv~xs}¦[pu¥q[&o[I}wxdov~rsursu[«ldo[Iu¥m[<UormqI[p]o]z[<]Dd{Xxd vw]qI}¦r:]z[<S|lkα
¯¢qrsuls[Iy]zv~rsuSrs£'u¥xsZG[<]xOuxs{vwxO|U}~[p]p¸l|:kxsUU}~v~qpxdov¦r/urO£[Ixs}¦txd{v~rsu@qrsu:d{[«ldy]xOu]{t¥qyXGd{X¥xOdLd{XU[_]zdoxsu¥UxOyG]zd{ot¥q³dotUoxs}motU}~[p]£´rsLd{XU[u:t¥}¦}U{rUq[p]o]I¸OxOyxO}~}¦[p}Uqr/ZG5r:]zv¦d{v~rsu$xOu¥Go[p]zd{ov~q¯
dov¦r/u°¾¹]{t¥qoXxs]&xs]o]zrmqIv~xOd{v~lv®dnkxsu¥Vqr/ZGZtUdoxdov¦lv¦dnkGrO£
|
¸lqIrsZ\ZtmdoxOd{v~lv®dnk\xsu¥$|Uv~u¥mv~uUO¯±rs5[Iyxdorsz¯±}¦v~¶s[|5[IXx<lv~rs3rs£
ν
¿&d{r/s[Id{XU[p3 v¦d{Xd{X¥[£´rs}~}¦r v¦u¥Grsu¥[p]3XUr/}~
νx.{ M / x } ≡ 0
{ M / x } | A ≡ { M / x } | A{ M / x }
{ M / x } ≡ { N / x }
v¦£M = E N
-£
n e
{[pUo[p]{[Iu/dy]µd{X¥[M¾¹5r/]o]zv~|U}~k [IZ\mdnkU¿°]{[d{n 1 , . . . , n l }
¸ [©xO|U|¥{[p:vwxdo[ª|:kν e n
doXU[¨]z[I¯:tU[pu¥q[
νn 1 .νn 2 . . . νn l
/s[Iok qI}¦r:]z[< [«ldo[Iu¥m[<1Uormq[<]{]
A
qIxsu1|5[¡|UorstUsX:dµdor·d{XU[ª£´r/{Zν e n.{ M 1 / x 1 }| . . . |{ M k / x k }|P
|:kt¥]{v¦uU]zd{ot¥q³dotUyxO}m[<:tUv¦OxO}~[Iu¥qI[s¸O X¥[Io[P
v~]xb¥}~xsv¦u$qI}¦r:]z[<Uormq[<]{]p¸k ≥ 0
xsu¥{ e n} ⊆ ∪ i fn(M i )
G[pu¥q[§d{X¥[§d¢ &r©m[¤¥u¥v®dov¦r/u¥]SrO££´oxsZ\[p]SxOo[µ[</t¥v¦OxO}~[Iu/dStU·d{r ]zd{ot¥q³dotUyxO}-[</t¥v¦OxO}~[Iu¥qI[brsu@q}~r/]{[pS[I«ld{[Ium[p¥{rmqI[p]o]z[<]
Wr\]{[I[bdoXUv~] &[xOUU}~kVotU}~[
tUu/dov¦}
xs}¦}3d{[p{Z$]\xs{[sorst¥u¥#¾´d{XUvw]\vw]$xs]o]ztUo[pª|lk d{X¥[£¹xsqd\d{X¥xOd\d{XU[µqIrsu¥]{vwm[Io[pª[I«ld{[Ium[p©Uormq[<]{]{[p]
xs{[q}~r/]{[pµxOu¥doXU[x/q³dov¦s[]zt¥|¥]ndov®dotmd{v~rsu]_xs{[qIkmq}~[¯7£o[I[J¿
_}~]{r¥¸5xOuUrsd{XU[p_qr/u¥]{[p:tU[Iuq[vw]d{Xxdfv®£
A ≡ B
doXU[Iuϕ(A) ≡ ϕ(B)
W &r©]z[pZ\xsu/dov~qp]SqIxsu·|5[°qIrsu¥]{vwm[Io[p©£´r/VdoXUv~]qIxO}wqtU}~t¥]p¸m[¤¥u¥[p·|:k·]ndo{t¥qd{tUyxO}_[</t¥v¦xs}~[Iu¥q[
xsu¥°|lk T41 (/T' !©xOu¥ (4: (/T' !¥¸o[p]{5[pq³dov¦s[p}¦k
W3XU[p]{[\]{[IZ$xOu:d{vwqI]}¦[<xs§dor
" < ! :4' ª¾´ X¥v~qyX©v~]\]ndyxOu¥¥xOyªxOu¥¡uUrOd\{[<qIxO}~}~[p XU[p{[J¿xOu (4: 4 "1 5-= 1 *
o[I}wxdov¦r/u¥]
W3X¥[bd¢ &r\|Uvw]zv~Z\v~}~xs{v¦d¢kVo[I}wxd{v~rsu]qr/v¦uqvwm[=7:94;xOuS &[t¥]{[bX¥[Io[fd{X¥[}~xOdzdo[I]zv~u¥q[v¦d5[I{¯
Z\v¦do]fd{rSdyxO¶s[v¦Z\U}~vwqv¦d{}~kµv¦u:d{r@xsqIqIrstUu:d_doXU[r/|¥]{[Ios[I<¸XU[Iu¥qI[v¦dbXxs]_d{XU[\xsUxOu:doxss[rs£Lo[I}~klv¦uUSr/u
]zdoxOd{vwqb[p:tUv~xs}¦[pu¥q[byxdoXU[I3d{X¥xsu@:t¥xsu/d{v¦¤qpxd{v~r/urs[IqIrsu:d{[«ldy]
1T1 (/T' !Gvw]Dd{XU[&}~xs{/[p]zdDo[I}wxd{v~rsursu[«ld{[pu¥m[pU{rUq[p]o]{[p]Dq}~r/]{[p|lk]zd{ot¥q³dotUoxs}s[p:tUv~:¯
xs}¦[pu¥q[xOuxOUU}~vwqIxdov¦r/urs£'[Ixs}¦txd{v~rsuqIrsu/do[«ldo]]ztqoXdoX¥xd
chxi.P | c(x).Q → P | Q
if M = M then P else Q → P
if M = N then P else Q → Q
!£´r/xOulkVsorst¥u¥Vd{[p{Z$]
M
xOuN
]ztqoXdoX¥xdM 6= E N
`fud{XU[rsd{XU[p3XxOu¥²¸ ( .T'4 !°vw]m[I¤¥uU[p|lk$doXU[£´rs}~}~rJ v~uU\{tU}~[p]
c(x).P c(M) −→ P { M / x }
chui.P −→ chui P
#"$%A −→ chui A 0 νu.A νu.chui −→ A 0
u 6= c
& '"$%
A −→ α A 0 νu.A −→ α νu.A 0
u
2-5&(OP-58 5K**"-$P
α
(&
A −→ α A 0 A|B −→ α A 0 |B
¾)s¿
&*
A ≡ B B −→ α B 0 B 0 ≡ A 0
A −→ α A 0
XU[p{[
u
vw]xZ\[dyx<OxOov~xs|U}~[doX¥xdoxsuUs[<]brJs[pu¥xOZ\[p]xOu¥¬xs{vwxO|U}~[p]p¸xOu¥Fd{XU[Sqr/u¥mv¦d{v~rsu ¾)O¿brs£doXU[{tU}~[
&*
vw]
bv(α) ∩ fv(B ) = bn(α) ∩ fn(B) = ∅
Á9; 8´:8Å=;
xs|5[I}~[p |Uvw]zv~Z\v¦}wxOov¦d¢k
≈ l
"5# 34"1 "1*/- -41 !' !
R
'4" #4( )B' 4"("44" " T' E5#
A R B
- !1"
ϕ(A) ≈ ϕ(B)
% $
A → A 0
#B → ∗ B 0
A 0 R B 0
T$4&".-MB 0
$
A → α A 0
fv(α) ⊆ dom(ϕ(A))
bn(α) ∩ fn(B) = ∅
#B → ∗ →→ α ∗ B 0
A 0 R B 0
T$4&"/-B 0
º
[m[puUrOdo[
A ⇒ B
v¦£A → B
r/A → α B
}w]{r\ &[t]z[bdoXU[uUrsdoxdov~rsuν s ϕ
£´rsν ( n e ∪ { s }).σ
¸XU[p{[
ϕ = ν e n.σ
Á9;
8´:8
Å=; $(.-M
ϕ
"VOxO}~v~ :: '(4" "P
$M# "A
" T' #P ⇒ ∗ A
ϕ ≡ ϕ(A)
Á9; 8´:8Å=;
P
( '4:<" 0 )B' 4"("> 5T/ 1 ! 44" <"E' T "Js
M$ (
/- %$
P
' TT4 .-M = "*=#s
"]{klu/dyxsq³dov~qpxO}~}¦k$]z[<qo[d
P
$ T$4 1*! $(.-M
ϕ
::P
s
" 63 .T'4 D6$(.-
ν s ϕ
= "* 5Ts
"]ndo{r/uUs}~kV]{[pqo[d $$4
T*'<"( 4 -"
M, M 0
" T'J5Tbn(P ) ∩ (fn(M ) ∪ fn(M 0 )) = ∅
P ( M / s ) ≈ l P ( M 0 / s )
[d
M o (P )
|5[d{X¥[@]{[d\rO£M/ "SrO£P
¸doX¥xd$v~]doXU[@]{[d\rO£_d{[p{Z$]m
]zt¥qyX¡d{X¥xOdchmi
vw]x§Z\[p]o]{xss[VrstmdoUtmd\qIrsu¥]zd{ot¥q³d£´rsG]{rsZ\[qoXxOuUuU[p}&u¥xsZ\[
c
v¦uP
¸LxOu¥ }~[dM t (P )
|5[VdoXU[]z[Idrs£#4 " %$>1"1!"rO£
P
¸ X¥[Io[x 1"1v~]$x¬qrstU¥}¦[M = N
rmqpqtUo{v~uU°v~u xFqIrsu¥Uv®dov¦r/u¥xO}xOuv¦do]> #<"xOo[
M
xsu¥N
[dM(P ) = M o (P) ∪ M t (P )
|5[$doXU[]z[IdrO£-1"("1"SrO£P
/
«UxsZG¥}¦[<]xOo[b¥{rlv~m[<xdd{XU[[pu¥rs£d{X¥v~]]{[pq³dov~rsu
W3XU[f£´r/}¦}~r v¦uUG}¦[pZ\Z\xGv¦u:d{tUv¦d{v~s[I}~k]ndyxd{[<]&d{XxdxOulk$Z\[p]o]{xss[bqr/u/doxsv¦u¥[pSv¦u@xsqd{v~s[f£´oxsZG[bvw]3xsu
r/tmd{Utmd_v¦u¥]zdoxsu/dov~xOd{[p|:kSZ\[p]o]{xss[<]m[<mt¥qI[p£´{r/Z!Uo[Ilv~rst¥]3ZG[<]{]oxO/[p]
&Á
O4
P
J '"4( : B' 4" "A
J '"4( #32 3 '(1"(" " T' 5TP ⇒ ∗ A
#Jk ≥ 0
# ( ' 4"("B = ν e n.σ k |P B
T4P B
""/-
)B' 4"(" 8
θ
M" 1"1 ! !'::e
n
"T'J#A ≡ B
{ n} ⊆ e bn(P )
T$4 41*"( !3)$= 24"1A= /
M
%$P B
#= "=0-1"("
M 0 P
%"1 ! )$= 24"1DM /4"T ' * " T' 5T
M = M 0 θσ k
σ i = σ i−1 ∪ { m i θ i σ i− 1 / y i }
$41 ≤ i ≤ k
#m i
" /
P
θ i
""4"1 ! !'::
e n
σ 0
" #- *M" 1"1 !
W3XU[¥{rlrs£v~]fmr/uU[|lkv¦u¥Ut¥q³dov¦r/uµr/u@d{XU[ultUZ|5[Ifrs£{[<mt¥q³dov~rsu¥]v~u
P ⇒ ∗ A
A-u/dotUv®dov¦/[I}~ks¸B
vw]_rs|mdyxOv~uU[p@|lk@xOU¥}¦klv~uU$d{XU[ otU}~[S¾´£´{r/Z }¦[I£d_dorVov~sX/d³¿x/]Z\r/]zdfx/]5r/]o]zv~|U}~[tUu/dov¦}d{X¥[Io[
xs{[u¥rSxOovwxO|U}~[p]}¦[I£dbv~uµdoXU[U}~xsv~u§U{rUq[p]o]
"
rOdo[doX¥xd
B
v~]ftUuUvw:tU[tUµdorVdoXU[G]ndo{t¥qd{tUyxO}otU}¦[<]mv#-[Io[Iu/d£´orsZ
¸ xOu
Lsº
[f]{xJkdoX¥xd
ϕ(B)
v~]Ld{XU[ "12 6$(/-f d A
_]xG{t¥uUuUv~uU\[«UxOZ\U}~[ &[qrsu¥]{vwm[I3d{XU[gxsX¥xO}~rsZ!UorOdormqr/}'
A ⇒ B : A, N a
B ⇒ S : B, {A, N a , N b } K bs
S ⇒ A : {B, K ab , N a , N b } K as , {A, K ab } K bs A ⇒ B : {A, K ab } K bs
-
ud{X¥v~]UorOdormqr/}8¸:d¢ r\¥xO{d{vwqv~¥xsu/do]
A
xOu¥B
v~]{Xd{r$[p]zdoxO|¥}¦vw]zX@x\]zXxOo[pS¶s[IkK ab
W3X¥[¶s[Ik
vw]qo[pxOd{[<°|:kFxd{ot¥]zd{[p ]z[Ios[p
S
XUvwqoX ]zXxOo[p]fd{XU[V]{[pqI{[d¶s[Ikm]K as
xsu¥
K bs
v¦d{X
A
xsu¥B
o[p]{5[pq³dov¦/[I}~k
W3XU[¥{rsd{rmqIrs}-v~]Z\rmm[p}¦[<|:kVd{X¥[b£´r/}¦}~r v¦u¥GUormq[<]{]
P Y (k ab ) = νk as , k bs .(!P A )|(!P B )|(!νk.P S (k))|P S (k ab )
XU[p{[
P A = νn a .cha, n a i.c(z a ).[b = u b ].[n a = u n a ].chπ 2 (z a )i
P B = c(z b ).νn b , r b .chb, enc(hπ 1 (z b ), hπ 2 (z b ), n b ii, k bs , r b )i.c(z b 0 ).[a = π 1 (dec(z b 0 , k bs ))]
P S (x) = c(z s ).νr s , r 0 s .chenc(hπ 1 (z s ), hx, v n ii, k as , r s ), enc(hv a , xi, k bs , r 0 s )i
xsu¥
u b = π 1 (dec(π 1 (z a ), k as )) u n a = π 1 (π 2 (π 2 (dec(π 1 (z a ), k as )))) v a = π 1 (dec(π 2 (z s ), k bs )) v n = π 2 (dec(π 2 (z s ), k bs ))
¼
rs3doXUvw]U{rsd{rmqIrs}5d{X¥[]{[drO£'r/tmd{¥tmdo]xsu¥rs5[poxsu¥U]rO£do[p]zdo]xOo[bo[p]{5[pq³dov~s[I}~k
M o (P Y ) = {ha, n a i, z a , π 2 (z a ), hb, enc(hπ 1 (z b ), hπ 2 (z b ), n b ii, k bs , r b )i, z b 0 , enc(hπ 1 (z s ), hx, v n ii, k as , r s ), enc(hv a , xi, k bs , r s 0 )}
xsu¥
M t (P Y ) = {b, u b , n a , u n a , a, π 1 (dec(z b 0 , k bs ))}.
#"! * ' . 1 *0( (
-
u X¥xOd3£´rs}~}~rJ ]p¸l [xs]o]ztUZ\[
s
d{r\|5[bdoXU[]{[pqI{[Id
º
[o[p]zd{ov~qd3rst¥o]{[I}¦£d{r\Uormq[<]{]{[p]& v¦d{X@sorst¥u¥
do[IoZ\]v~u#¶s[pk 5r/]{v®dov~rsu
-
um[I[<²¸_v¦£¶s[Ikm]qIrsu/dyxOv~uU[p xs{vwxO|¥}¦[<]I¸d{XU[Ik qIrstU}w#xO}w]zr©qIrsu/dyxOv~u·doXU[
]{[pqo[dxsu¥°}~[pxs§dord{X¥[\]oxOZ\[G¶lv~u¥°rs£xdzdyxsqy¶m]bx/]bv¦uFd{XU[\xs]o]zv~s[GqIx/]z[
¼
r/b[I«UxOZ\U}~[s¸D}¦[Id
P 1 = νk, r, r 0 .(chenc( s , k, r)i | c(z).chenc(a, dec(z, k), r 0 )i)
W3XU[3uxOZ\[s
v¦u
P 1
v~]L]{k:u:dox/q³d{vwqIxs}¦}~k]z[<qo[d
|Utmd_uUrOd_]ndo{r/uUs}~kV]{[pqI{[d
- u¥m[p[p²¸
P 1 ≡ νk, r, r 0 .(νz.({ enc( s ,k,r) / z } | chzi | c(z).chenc(a, dec(z, k), r 0 )i))
→ νk, r, r 0 .({ enc( s ,k,r) / z } | chenc(a, s , r 0 )i)
¾ otU}¦[J¿≡ νk, r, r 0 .(νz 0 .({ enc( s ,k,r) / z , enc(a, s ,r 0 ) / z 0 } | chz 0 i))
νz 0 .chz 0 i
−→ νk, r, r 0 .{ enc( s ,k,r) / z , enc(a, s ,r 0 ) / z 0 },
xsu¥d{XU[o[p]{tU}¦d{v~uUb£´yxOZ\[mrl[p]uUrOdLU{[<]z[p{s[&doXU[]ndoorsuU]{[pqo[pqIkrs£
s
¾8]z[p[doXU[3£´yxOZ\[
ψ 2
rO£-]{[pqd{v~rsu
Fl¿