Ch ng 10ươ
C XáC TH C
10.1 M Đ U
Ta đã nh nhi u th i gian đ nghiên c u các h m t đ c ượ
ng đ đ m b o đ m t .Mã xác th c s cung c p ph ng ươ
pháp b o đ m tình toàn v n c a b n tin,mghĩa b n tin ph i
không b can thi p m t cách b t h p pháp th c s đ c ượ
g i đi t mày phát.
M c đích c a ch ng này ph i đ c kh năng th c ngay ươ ượ
c khi m t đ i ph ng tích c c-Oscar ng i th quan sát ươ ườ
các b n tin trong kênh.M c đích này có th đ t đ c b ng cách thi t ượ ế
l p m t ‘’khoa riêng’’K b ng cách đ Alice Bob chungchung m t
khoá bí m t tr c hki m i b n tin đ c g i đi. ướ ượ
Trong ch ng này ta s nghiên c u đ m b o xacs th c ch khôngươ
ph i các đ m b o đ m t.Trong này,khoá s đ c dùng d ượ
tính m t xác th c cho phép Bob ki m tra đ c tính xác th c c a ượ
thông báo mà anh ta nh n đ c.M t ng d ng khác c a mã xác th c ượ
đ ki m tra xem các s li u trong m t file l n b can thi p vào
m t cách h p pháp hay không.Nhãn xác th c s đ c l u cùng v i ượ ư
s li u:KHOá Đ c dùng đ t o ki m tra d u xác th c đ c Ưẻ ượ
l u m t cách tách b ch trong m t’’vùng’’an toàn.ư
Ta cũng s ch ra r ng,v nhi u khía c nh mã xác th c cũng t ng ươ
t nh m t s đ ch ho c t ng t nh m t maw xác th c ư ơ ươ ư
thông báo(MAC).S khác bi t chính s an toàn c a m t maw xác
th c không đi u ki n biên,trong khi đó các s đ ch MAC ơ
l i đ c nghiên c u theo quan đi m đ an toàn tính toán.Cũng ượ
v y,khi m t maw xác th c (ho c MAC) đ c dùng,m t b n tin ch ượ
th đ c ki m tra b i ng i nh n h p pháp.Trong khi đó baats ượ ườ
c m i ai cũng th xác minh đ c ch b ng cách dùng m t ượ
thu t toán xác minh công khai.
Bây gi ta s đ a ra m t đ nh nghia hình th c cho thu t ng ư
đ c s d ng khi nghiên c u các mã xác th c.ượ
Đ nh nghĩa 10.1
M t mã xác th c là m t b 4(S,R,K,C)tho mãn các đi u ki n
sau :
1. S là t p h u h n các tr ng thái ngu n có th
2. A là t p h p các nhãn xác th c có th
3. K là m t t p h u h n các khoá có th (không gian khoá)
4. V i m i k
K có m t quy t c xác th c e k : S
R
T p b n tin đ c xác đ nh b ng M=S ượ
R
Nh n xét:
Chú ý m t tr ng thái ngu n t ng đ ng v i m t b n rõ.M t b n ươ ươ
tin g m m t b n rõ v i m t nhãn xác th c kèm theo,m t cách chính xác
h n th coi đó m t b n tin đã đ c xác nh n.M t quy t c xácơ ượ
th c không nh t thi t ph i là hàm đ n ánh. ế ơ
Đ ê phát m t thông báo (đã đ c kí).Alice Bob ph i tuân theo giao ượ
th c sau.Tr c tiên h ph i ch n m t khoá ng u nhiên K ướ K.Đi u này
đ c thuwc hi n m t cách m t nh trong h m t khoá bi m t.Sau đóượ ư
gi s r ng Alice mu n g i m t tr ng thái ngu n s S cho Bob trong m t
kênh không an toàn>Alice s tính a=ek(s) g i b n tin (s,a)cho Bob.Khi
nh n đ c (s,a) Bob tính a’=e ượ K(s).N u a=a’ thì Bob ch p nh n b n tin ế
xác th c,ng c l i Bob s lo i b nó. ượ
Ta s nghiên c u hai ki u t n công khác nhau Oscar th ti n ế
hành.Trong c hai lo i này,Oscar s là’’k xâm nh p vào gi a cu c’’.Các ư
phép t n công này đ c mô t nh sau: ượ ư
Gi m o
Oscar đ a ra m t b n tin (s,a) vào kênh và hi v ng nó s đ c ch pư ượ
nh n .Ph ng pháp này đ c mô t trong hình 10.1. ươ ượ
Thay thế
Oscar quan sát m t b n tin trong (s,a)kênh ,sau đó anh ta bi n đ i nó ế
thành(s’,a’),trong đó s’=s và hi v ng đ c Bob ch p nh n nh m t b n tin ượ ư
xác th c .B i v y anh ta tin s lái đ c Bob đi t i tr ng thái ngu n m i ượ
này.Ph ng pháp này đ c mô t nh hình 10.2.ươ ượ ư
.
Oscar
Hình 10.1. Vi c gi m o b i Oscar
Oscar (s,a) Bob
Hình 10.2 . Phép thay th c a Oscarế .
Alice (s,a) Oscar (s’,a’) Bob
G n v i m i ph ng pháp này là m t xác xu t l a b p,là xác su t đ ơ
Oscar thành công trong vi c l a Bob n u anh ta (Oscar) tuân th m t ế
chi n l c t i u .Các xác su t này đ c hi u là Pdế ượ ư ượ 0(tr ng h pườ
gi m o)và Pd 1(tr ng h p thay th ) tình Pdườ ế 0 Pd1ta c n
ph i xác đ nh các phân b xác su t trên S K.Các xác su t này đ c ượ
kí hi u t ng ng là p ươ s và pk .
Gi s r ng Oscar đ bi t xác th c hai phân b xác su t ế
này.Ch m t thông tin Alice Bob nh ng Oscar không ư
đ c bi t giá tr c a khoá K .Đi u này t ng t v i cách ượ ế ươ
chúng ta đã nghiên c u đ an toàn không đi u ki n c a các h m t
khoá bí m t.
10.2.Tính xác su t l a b p
Trong ph n này s xét đ n vi c tính các xác su t l a b p.Ta ế
b t đ u v m t mã xác th c.
Ví d 10.1
Gi s K=R=Z
K=Z3xZ3
V i m i (i,j) K và m i s
S ta xác đ nh
ek(s) =i.s+j mod 3
Đ thu n ti n cho vi c nghiên c u ta dùng ma tr n xác th c (ma
tr n này t o b ng t t c các giá tr e k(s)).V i m i khoá K K v i
m i s
S
ta đ t nhãn xác th c e k(s) vào hàng K c t s c a m t ma tr n M
kích th c ướ K xS .M ng M đ c mô t trên hình 10.3. ượ
Hình 10.3.Ma tr n xác th c
Khoá 0 1 2
(0,0) 0 0 0
(0,1) 1 1 1
(0,2) 2 2 2
(1,0) 0 1 2
(1,1) 1 2 0
(1,2) 2 0 1
(2,0) 0 1 2
(2,1) 1 0 2
(2,2) 2 1 0
Gi s r ng khoá đ c ch n m t cách ng u nhiên,t c ượ
pk(K)=1/9 đ i v i m i K K. Ta không ph i xác đ nh phân b xác
su t pS vì trong thí d này nó khong có ý nghĩa gì.
Tr c tiên xét cách t n công gi m o,Oscar s ch n ra m tướ
tr ng thái ngu n s c g ng ph ng ddoand\s m t nhãn xác th c
‘’đúng’’.Kí hi u K0 khoá đang s d ng (mà Oscar không bi t).óc ế
s thành công trong vi c đánh l a Bob n u anh ta ph ng đoán ế
a0=eK0(s).Tuy nhiên v i b t s S và aR d dàng th y r ng ,ch
đúng 3(ch không ph i 9)quy t c xác th c K K sao cho ek(s) =a.
(Nói cách khác m i kí hi u ch xu t hi n 3 l n trong m i c t c a ma
tr n xác th c ).B i v y d n t i Pd 0=1/3.
Phân tích phép thay th ph c t p h n m t chút.Gi s Oscarế ơ
đã quan sát đ c trên kênh 1 b n tin (0.0).Nh đó anh ta đã bi t m tượ ế
thông tin nào đó v khoá:anh ta bi t r ng : ế
K0{(0,0),(1,0),(2,0)}
Bây gi ,gi s Oscar thay b n tin (0,0) b ng b n tin (1,1).Khi đó
anh ta s l a b p thành công khi và ch khi K 0=(1,1) ,xác su t đ K 0
khoá b ng 1/3 vì khoá n m trong t p {(0,0),(1,0),(2,0)}.
Có th th c hi n m t phân tích t ng t đ i v i b t kì m t phép ươ
thay th nào Oscar ti n hành.Nói chung n u Oscar quan sát m tế ế ế
b n tin (s,a) th y b ng m t b n tin b t (s’,a’) trong đó s’=s
thì anh ta s đánh l a đ c Bob v i xác su t 1/3.Ta th th y rõ ượ
đi u này nh sau .Vi c quan sát đ c (s,a) s h n ch khóa m t ư ượ ế
trong ba kh năng.Trong khi đó v i m t phép ch n (s’,a’) ch m t
khoá ch không ph i ba khoáth )theo quy t c a nhãn xác th c
c a s’.
Bây gi ta s th o lu n cách tính toán t ng quát cho các xác
su t l a b p.Tr c tiên ta hãy xát Pd ướ 0.Cũng nh trên Kư0 là khoá đ cượ
ch n b i Alice Bob.V i s S aR ta xác đ nh payoff(s,a)là xác
su t đ Bob ch p nh n b n tin (s,a) b n tin xác th c .D dàng
th y r ng :
Payoff(s,a) = prob(a=eK(s))
= KK (ek(s) = a) pK(K)
Nghĩa payoff(s,a) đ c tính b ng cách ch n các hàng c a ma tr nượ
xác th c ph n t a n m trong c t s l y t ng xác su t c a các
khoá K t ng ng.ươ
Đ c h i thành công l n nh t.Oscar ph a ch n (s,a) sao cho ơ
payoff(s,a) là c c đ i .B i v y:
Pd0 =max{payoff(s,a): sS.aR} (10.1)
Chú ý r ng Pd0 không ph thu c vào phân b xác su t p S
Vi c tính Pd1 khó h n m t chút th ph thu c vàoơ
pS.Tr c tiên ta s xét bài toán sau:Gi s Oscar quan sát đ c thôngướ ượ
báo (s,a) trong kênh.Oscar s thay (s,a) b ng m t b n tin (s’,a’) nào
đó ,trong đó s’s.Khi đó,v i s,s’S ,ss’ a,a’R ta đ nh nghĩa
payoff(s’,a’;s,a) là xác su t đ phép thay th (s,a) b ng (s’,a’) thành ế
công(đ đánh l a Bob) .Khi đó có th tính nh sau : ư
Payoff(s’,a’;s,a) =prob(a’=eKo(s’)a=eKo(s))
=
))((
))()'('(
seaprob
seaseaprob
K
KK
=
=Λ=
T s c a phân s này đ c tính b ng cách ch n các hàng c a ma ượ
tr n xác th c giá tr a trong c t s giá tr a’ trong c t s’và l y
t ng các xác su t c a các khoá t ng ng.Vì Oscar mu n tăng c c ươ
đ i c h i đánh l a Bob nên anh ta tính : ơ
PS = max{payoff(s’,a’;s,a);s’S,ss’,aR}
Đ i l ng p,kí hi u đ Oscar đánh l a Bob b ng m t phép thay th ượ ế
khi đã quan sát đ c b n tin (s,a) trên kênh.ượ
Bây gi ph i làm th nào đ tính đ tinhs xác su t l a b p Pd ế 1?Rõ
ràng đây ta ta ph i tính trung bình các giá tr c a l ng p ượ S theo
các xác su t pM(s,a) quan sát các b n tin trên kênh.Nghĩa Pd1 đ cượ
tính b ng :
Pd1 =(S,a)M pM(s,a).pM(10.2)
Phân b xác su t p M nh sau:ư
PM(s,a) =ps(s)x pK(as)
=pS(s)x(KK; ek(s)=a) pK(K)
=pS(s)xpayoff(s,a)
Trong ví d 10.1: