Transcript
![Page 1: 은행caislab.kaist.ac.kr/publication/paper_files/1999/sezsez/... · 2018-09-27 · x A ∈ R Z q y p ,A p ,x A → A p A A A x A p p P x y y s Sign y y y p Verg y A A store ,, (mod](https://reader030.vdocuments.us/reader030/viewer/2022040204/5eb315b279f0960a820b4d71/html5/thumbnails/1.jpg)
![Page 2: 은행caislab.kaist.ac.kr/publication/paper_files/1999/sezsez/... · 2018-09-27 · x A ∈ R Z q y p ,A p ,x A → A p A A A x A p p P x y y s Sign y y y p Verg y A A store ,, (mod](https://reader030.vdocuments.us/reader030/viewer/2022040204/5eb315b279f0960a820b4d71/html5/thumbnails/2.jpg)
은행
고객상점
인출단계
지불단계
결제단계
![Page 3: 은행caislab.kaist.ac.kr/publication/paper_files/1999/sezsez/... · 2018-09-27 · x A ∈ R Z q y p ,A p ,x A → A p A A A x A p p P x y y s Sign y y y p Verg y A A store ,, (mod](https://reader030.vdocuments.us/reader030/viewer/2022040204/5eb315b279f0960a820b4d71/html5/thumbnails/3.jpg)
![Page 4: 은행caislab.kaist.ac.kr/publication/paper_files/1999/sezsez/... · 2018-09-27 · x A ∈ R Z q y p ,A p ,x A → A p A A A x A p p P x y y s Sign y y y p Verg y A A store ,, (mod](https://reader030.vdocuments.us/reader030/viewer/2022040204/5eb315b279f0960a820b4d71/html5/thumbnails/4.jpg)
![Page 5: 은행caislab.kaist.ac.kr/publication/paper_files/1999/sezsez/... · 2018-09-27 · x A ∈ R Z q y p ,A p ,x A → A p A A A x A p p P x y y s Sign y y y p Verg y A A store ,, (mod](https://reader030.vdocuments.us/reader030/viewer/2022040204/5eb315b279f0960a820b4d71/html5/thumbnails/5.jpg)
![Page 6: 은행caislab.kaist.ac.kr/publication/paper_files/1999/sezsez/... · 2018-09-27 · x A ∈ R Z q y p ,A p ,x A → A p A A A x A p p P x y y s Sign y y y p Verg y A A store ,, (mod](https://reader030.vdocuments.us/reader030/viewer/2022040204/5eb315b279f0960a820b4d71/html5/thumbnails/6.jpg)
![Page 7: 은행caislab.kaist.ac.kr/publication/paper_files/1999/sezsez/... · 2018-09-27 · x A ∈ R Z q y p ,A p ,x A → A p A A A x A p p P x y y s Sign y y y p Verg y A A store ,, (mod](https://reader030.vdocuments.us/reader030/viewer/2022040204/5eb315b279f0960a820b4d71/html5/thumbnails/7.jpg)
![Page 8: 은행caislab.kaist.ac.kr/publication/paper_files/1999/sezsez/... · 2018-09-27 · x A ∈ R Z q y p ,A p ,x A → A p A A A x A p p P x y y s Sign y y y p Verg y A A store ,, (mod](https://reader030.vdocuments.us/reader030/viewer/2022040204/5eb315b279f0960a820b4d71/html5/thumbnails/8.jpg)
![Page 9: 은행caislab.kaist.ac.kr/publication/paper_files/1999/sezsez/... · 2018-09-27 · x A ∈ R Z q y p ,A p ,x A → A p A A A x A p p P x y y s Sign y y y p Verg y A A store ,, (mod](https://reader030.vdocuments.us/reader030/viewer/2022040204/5eb315b279f0960a820b4d71/html5/thumbnails/9.jpg)
![Page 10: 은행caislab.kaist.ac.kr/publication/paper_files/1999/sezsez/... · 2018-09-27 · x A ∈ R Z q y p ,A p ,x A → A p A A A x A p p P x y y s Sign y y y p Verg y A A store ,, (mod](https://reader030.vdocuments.us/reader030/viewer/2022040204/5eb315b279f0960a820b4d71/html5/thumbnails/10.jpg)
)(
)(mod
pp
xp
qRp
ySignA
phgy
Zx
p
=
=
∈
← pp Ax ,
pp
ppg
xp
xy
AxVer
phgy p
, store
1),(
)(mod?
=
=
Cp
hpC
xy
qxxx
, store
)(mod)( 1−+=
![Page 11: 은행caislab.kaist.ac.kr/publication/paper_files/1999/sezsez/... · 2018-09-27 · x A ∈ R Z q y p ,A p ,x A → A p A A A x A p p P x y y s Sign y y y p Verg y A A store ,, (mod](https://reader030.vdocuments.us/reader030/viewer/2022040204/5eb315b279f0960a820b4d71/html5/thumbnails/11.jpg)
qRA Zx ∈
→ App xAy ,,
ApA
AA
xpA
Pp
yyx
ySigns
pyy
AyVerg
A
,, store
)(
)(mod
1),(?
=
=
=
CAAAA
CA
Apg
spA
cntsyx
cnt
syVer
pyy A
,
,
?
,,, store
0
1),(
)(mod1
=
=
=−
)(mod
,
21
21
phgt
Zrrrr
qR
=
∈ → AA xyt ,,
qR
AAJ
Zu
xyVer
∈=1),(?
←u
)(mod
)(mod
21
2
11
1
qruxs
qrxuxs
A
Ap
+=
+=−
−
BAA
BA
ssA
cnty
cnt
pkgty
,
,
?
, store
0
)(mod21
==
→ 21 , AA
→ pyv ,)(mod pyt
Zrr
qR
=
∈
←t
)(mod
)||||(
)(mod
,
,
qcc
cntytHc
pyxtt
Z
CAA
p
qR
α
βαβα
−=
=
=
∈
→c)(mod qxxcrs pC−=
←s
oneby increase
),( store
)(mod
)(mod
)(mod
,
?
CA
A
ep
sp
cnt
cs
qxss
pzyt
qss
′=
=
+=′
′
β
![Page 12: 은행caislab.kaist.ac.kr/publication/paper_files/1999/sezsez/... · 2018-09-27 · x A ∈ R Z q y p ,A p ,x A → A p A A A x A p p P x y y s Sign y y y p Verg y A A store ,, (mod](https://reader030.vdocuments.us/reader030/viewer/2022040204/5eb315b279f0960a820b4d71/html5/thumbnails/12.jpg)
Py Py~ Ay~
Py
Py~
→ Ayvsc ,,,
oneby increase
account scustomer' credit the
)||||(
)(mod
,
,
?
BA
BAA
cn
sA
cnt
cntytHc
pxyt
=
=
![Page 13: 은행caislab.kaist.ac.kr/publication/paper_files/1999/sezsez/... · 2018-09-27 · x A ∈ R Z q y p ,A p ,x A → A p A A A x A p p P x y y s Sign y y y p Verg y A A store ,, (mod](https://reader030.vdocuments.us/reader030/viewer/2022040204/5eb315b279f0960a820b4d71/html5/thumbnails/13.jpg)
![Page 14: 은행caislab.kaist.ac.kr/publication/paper_files/1999/sezsez/... · 2018-09-27 · x A ∈ R Z q y p ,A p ,x A → A p A A A x A p p P x y y s Sign y y y p Verg y A A store ,, (mod](https://reader030.vdocuments.us/reader030/viewer/2022040204/5eb315b279f0960a820b4d71/html5/thumbnails/14.jpg)
![Page 15: 은행caislab.kaist.ac.kr/publication/paper_files/1999/sezsez/... · 2018-09-27 · x A ∈ R Z q y p ,A p ,x A → A p A A A x A p p P x y y s Sign y y y p Verg y A A store ,, (mod](https://reader030.vdocuments.us/reader030/viewer/2022040204/5eb315b279f0960a820b4d71/html5/thumbnails/15.jpg)
![Page 16: 은행caislab.kaist.ac.kr/publication/paper_files/1999/sezsez/... · 2018-09-27 · x A ∈ R Z q y p ,A p ,x A → A p A A A x A p p P x y y s Sign y y y p Verg y A A store ,, (mod](https://reader030.vdocuments.us/reader030/viewer/2022040204/5eb315b279f0960a820b4d71/html5/thumbnails/16.jpg)
![Page 17: 은행caislab.kaist.ac.kr/publication/paper_files/1999/sezsez/... · 2018-09-27 · x A ∈ R Z q y p ,A p ,x A → A p A A A x A p p P x y y s Sign y y y p Verg y A A store ,, (mod](https://reader030.vdocuments.us/reader030/viewer/2022040204/5eb315b279f0960a820b4d71/html5/thumbnails/17.jpg)
![Page 18: 은행caislab.kaist.ac.kr/publication/paper_files/1999/sezsez/... · 2018-09-27 · x A ∈ R Z q y p ,A p ,x A → A p A A A x A p p P x y y s Sign y y y p Verg y A A store ,, (mod](https://reader030.vdocuments.us/reader030/viewer/2022040204/5eb315b279f0960a820b4d71/html5/thumbnails/18.jpg)
![Page 19: 은행caislab.kaist.ac.kr/publication/paper_files/1999/sezsez/... · 2018-09-27 · x A ∈ R Z q y p ,A p ,x A → A p A A A x A p p P x y y s Sign y y y p Verg y A A store ,, (mod](https://reader030.vdocuments.us/reader030/viewer/2022040204/5eb315b279f0960a820b4d71/html5/thumbnails/19.jpg)
![Page 20: 은행caislab.kaist.ac.kr/publication/paper_files/1999/sezsez/... · 2018-09-27 · x A ∈ R Z q y p ,A p ,x A → A p A A A x A p p P x y y s Sign y y y p Verg y A A store ,, (mod](https://reader030.vdocuments.us/reader030/viewer/2022040204/5eb315b279f0960a820b4d71/html5/thumbnails/20.jpg)
![Page 21: 은행caislab.kaist.ac.kr/publication/paper_files/1999/sezsez/... · 2018-09-27 · x A ∈ R Z q y p ,A p ,x A → A p A A A x A p p P x y y s Sign y y y p Verg y A A store ,, (mod](https://reader030.vdocuments.us/reader030/viewer/2022040204/5eb315b279f0960a820b4d71/html5/thumbnails/21.jpg)