AN TOÀN BẢO MẬT TRONG CÔNG NGHỆ THÔNG TIN AN TOÀN PHẦN MỀM – LỖI PHẦN MỀM
Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (508.05 KB, 21 trang )
!"#$ !"#"
%&'(&)$ $%&"'(&)*+
,-"."/
&)*01&23
4&5!."6!
7+89:"
*$ ;&&"<=";&=8>?@
ABC>ADE
+&,+&
>
/!01232'4*5636
7)62'4*5636
=(F=";&=8GFHI!2JK&!L9E36!=8+)MN3O=?!(P8QR=89J8G8=*@S=(FTU
?=R&8=*@STFHVQW&?9T98G9J8G8=*@
X (Confidentiability): tài sản chỉ Y$Z!=)*"O[J\8"]&&$^8!_`)*a
X (Intergrity): tài sản chỉ Y$Z!=b(cd_9cHe9Yf8J\8"]&&$^8!_`)*a
X (Availability): tài sản sẵn HF&YgY#[ &HeQ6&!"("]&&$^8!_`)*a
!
&=h&_!"-!L9&$^8GO[=-"T8+ST8<!d#!Yi"Y$Z!3j=["3a3S3j=="F"
["["3a3GFY'3J'(Y$Z!=N"9=(F=";&=8GFT8<!d#!Yi"["3a3!_Y'3J'(
Y$Z!EYk!=N"=+3j=!#!"!2JK&"l="9*m";&
8. 9*5636
_3j=HI="I!GF["3a3F(Y$Z!GF39!,&!_G48748["3a3!_"8a)G(b8_
"]&G48=";&="$^&Sm";&'""$\&Yn=N"9=(F!L9["3a3_"]&G48Gb8&2*
'""$\&&"8+3=5&S!_="gJimodl)GZ8Q6&Ygm"98="#!2*GF"]&G48["3a3
m"8n!"(3j="9*3j=TF8=N"!"l=mg=+JiT8["b3
E
"#$%&'()!*+'
-"=+GF3j=HpTNQ6TaG48["3a3":;:&'GFG(b8G48!_="gm"8nmodl)GZ8
Q6&Yg!"q3rYj!S`)9Y_="I!="83rYj!S!"8n3`)*aY8a)m"8g"(k!="I!"8<!#!="9(
=#!=#8["s[Tpm";&YL="t3`)*aYg="I!"8<"_3G48F*T8["b3=N"=(FTUTF=N"
J'(3O=!L9"<="p&
!<":2'GF3j="-"=" !=l!;&=h!"p8Qi!"T6S=l!;&TF(["3a3\uRJ
HRTR2*GFG(b8=l!;&&e83j=Hp!#!&_8=8[8&3RHH9&R!_["j8Q)&l=Gv=v8uRJ
HRTRQI9=+&89(=" !w.."3a3\HRTRm"8"OY$Z!&_8=8F*HxdeGyJiG48
&2*YfTz!"$%&=-"hY_&$^8QW&"Z[G<m";&=)*"O[Y$Z!TF(=F8&)*+!="8n=
748F*T8["b3=N"HVQW&
=:>?2GF3j=Rd=RH8(!L9["3a3CHRTR!L9w@h&JiG48TFJim"98="#!S
m"8n3!"8n3`)*aY8a)m"8gHRTR7F33l==N"JN3O=TF=(FTU
_="g="l*GF"8a)G(b8G489={9["3a3m"#!"9)S=)*"8+=(&JF8=-"JF*F*
!"|=O[=)&TF(EG(b8G48["3a3!fY8gTF="$^&&k[GFM
X 748=FJjY<3
X 748m";&Y*YL
X 748Y1&Jj
8. @'AB,9*5636'C!!D*
8 9'E4>@F)6
8 /!0123,9'E4>@F)6
748=FJjY<3!_=")O=&]=8n&"GF“Buffer Overflow. jY<3Y$Z!Yi"&":9GF3j=
TW&"vG8+=6!!_mN!"="$v!&8v8"bjY<3="$^&QW&=(&GF3j='&jY<3Y$Z!
HeQ6&YgG$)=]!#!&8#=i=b3="^8!L93j=d2)["6!T6!"(`)#=-"deGy
FJjY<3Y$Z!"8g)3j=!#!"Y%&8'GFT8<!H9(!"s[3j=Y(bQ]G8<)!_mN!"="$v!
GvTF(3j=JjY<3!_mi!"="$v!"}3Fm";&="I!"8<="9(=#!m8g3=9Q~=v8TW&"v
["N9H9)JjY<3Ji&"8YqSTW&"vF*!_="gGb8GF3j=JjY<3m"#!"(k!GFTW&"v!L9"<
="p&O)`)'!L9`)#=-"F*GFGF3!"(!"$%&=-""59=Yj&m";&!"N"d#!"(k!JiYf
Tz
748=FJjY<3!_="gJimodl)m"98="#!Yg="I!"8<"]&36!YN!"dl)odl)"9{
=(F!_="g!"q3rG<"TF(3j=!"$%&=-"!_&)*!%Ji=FJjY<3TF="I!="83rG<"
Y_)"n=!#!T8)H"9*H2)["#==#=+Q8<j&Ya)m"98="#!="R(G48F*_!_="g!"L
Yj&["#==#3Fm";&!HI!9="8<[!L9&$^8QW&?&8p&"$T8)HG2*P8GR="$^&="I!
"8<GF!!_HI="9(=#!!L9&$^8QW&@odl)m"8Yrm"98="#!Y$Z!G48F*!_="g="I!"8<
l="8a)="9(=#!m"#!"9)"$3\!f&Yg!"8n3`)*aY8a)m"8gTFY8a)m"8g=hd9S!F8Yk=
•
3j=J9!mQ((G+HRTRSYk=["3a3&8#Y8<[(€9"9*!F8mR*G(&&RYgGl*!•[=F8m"('
!L9&$^8QW&
."b3T8'""$\&!L9G48=FJjY<3=W*=")j!TF(`)*a!L9&$^8QW&Y‚&"O[TF(
"<="p&_=$^&"Z[modl)=)*m"98="#!Y)Z!G48F*"]&m";&GF3Y$Z!&-"$&!,&
!_"]&=$^&"Z["O)`)'GFT;!W&&"8+3=5&NQ6!#!Qi!"T6"<="p&"$.C
R3(=R.(!RQ)R9GGHGF!#!8Q!"€T6`)9=5&!L9"<="p&!L9u8Q(u#!Qi!"T6
F*Y$Z!!"b*=IYj&Q$v8`)*a!L9)HRƒwC3j=)HRt!L9"<="p&!_`)*a!9(
=(&"<Y8a)"F"n)Qi!"T6F*JiYfTzS"<="p&Hx&h&"(b=Yj&
jY<3!_"98!#!"=f!" !G$)=]Y_GF=+H=9!m?QW&YgG$)!#!J8n=:"@TF"R9[?G$)
!#!J8nY$Z!!l[["#=Yj&=";&`)9!(=}@„(Y_=FJjY<3!,&!_"98G(b8m"98="#!
m"#!"9)M
X FH=9!mM
o "8YqG+Y89!"|='Ta!L9"F3M2*GF3j==(&"]&m:=")O=!%J'"l=!L9
=FJjY<3…=$\&!L9["$%&["#[m"98="#!F*Y_GF&"8YaG+Yi9!"|='Ta
!L9"F3K3=(&H=9!m(&=$^&"Z[Gy=$\&S"F3="9*T-=\TaG<"=8n[
="R(H9)G^8&58"F3S_Hx"'*=v83rG<"3Fmodl)3(&3)pS`)9Y_="I!"8<
Y(b3rdl)Y_
o "8YqG+ƒ?=)!=)RQƒd!R[=8(9QG8&@ƒGF!l)=/!`)'GyRd!R[=8(
=(&u8Q(u_!" 9!#!!(=}=}=v8!#!"F3deGyRd!R[=8(m"8!_Rd!R[=8(
d'*9NQ6"$=";&J#(&(b8G<F*G+3F"-":=")O=m"98="#!F*Hx!p
&•&&"8YqG+!#!!(=}F*Yg=}=v83j="F3="I!="8dl)TF&2*9Rd!R[=8(
=$%& &†)9Y_="I!"8<Y$Z!Y(b3r="I!="8dl)
X FR9[MF"R9[GFm:=")O=m"98="#!m"_"%TF\3 !Yj!9("%wj=Hpm:=")O=
"8<9*m"98="#!J9(&13&"8YqG+!(=}=}=v8"F3=Gƒ=R8=8!9GR!=8(=(&.ƒ
"9*&"8YqG+"9QRQƒd!R[=8(9QGR
(&["b3T8!L9JF8T8n=S"_3!"|d8=-"JF*TF(m:=")O=!%J'"l=GF"8YqG+Yi9
!"|='Ta!L9"F3=(&=FH=9!m
8 8. @'ABG"+'(&'H3'E4>@F)6
748=FJjY<3Y$Z!m"98="#!=+Q8<j&TFY$Z!!;&Jp"F&&F*=+!#!=9&
uRJH8=RJ'(3O="$38Gu(3!(3SHR!)89(&SHR!)8=*P(!)H‡#!T8)H"9*H2)3)p["#=
=#=+Q8<j&="$^&HeQ6&!#!"F*
2)G9H=R!{Y$Z!&58GF7(TH9"9*7(TRH9Y$Z!["#==#TF("18="#&ˆ‚3>AAES
=+!#!"<="p&3#*!"b*"<Y8a)"F"‰8Q(uHŠ.TF‰8Q(uHHRTR>AAA!L9w8!(H(P=
_Y$Z!["#="8<TF(&F*DDcAˆc>AAETF!_=p!YjG2*"803=‚&QYnY|"Y8g3TF(&F*
DEcAˆc>AAEw6!YN!"!L9H2)F*GF=l!;&=h!"p8Qi!"T6=9&uRJu8Q(uH)[Q9=R!(3
2)F*GZ8Q6&G4"f&=FJjY<3=(&&89(=" !„w.Yg["#==#‹BŒ
B
wj=TNQ6m"#!!L9G48=FJjY<3GFG4"f&=(&!" !‚&9TRH!L9((&GR"(3R
["8+J'A>DD••>Ž2*GF3j==(&"]&["8+J'Y)=8+!L9((&GR"(3RY)Z!
Y$99="i=$^&TF(="#&•‚3>AAˆ)*"8+["8+J'F*=1=b8G4"f&=FJjY<3m"8
H9TR3j=T‚J'l=Gvodl)!_="gGZ8Q6&!"q3rYj!TF("]&=9&uRJH8=RYg!"/&
Y$Z!="I!"8<m"8&$^8QW&9TR"]&=9&uRJF*Ta3#*!L93-"748F*Y$Z!7+
!"C3j=H8"T8+!L9=$^&Yb8"5!#!""(9Fj8m"8Y_["#="8<9-"Q$v8
3;='=";&=8TaG48F*Y$Z!!;&Jp=+R!)8=*•(!)H!(3
,# -()!.$/012(33
8 I. J&K'&L2,9'E4>@F)6
Šs=3j=TNQ6Y%&8'"$H9)M
=398?@
•
=99*‹BŒ‘•DS>SES•SB’“
.8=P?”•Q–—S99*‹BŒ@“
’
"8="I!"8<J8+Qi!"!"$%&=-"F*"(F=(Fm";&!_G48)*"8+Y8a)&-d'*9
m"8!"$%&=-"Y$Z!="I!"8<<="p&Hx="I!"8<H98Q(["=e99*‹BŒm";&!_=(&
3'&99*Y$Z!m"98J#(["N9=+"$%&=-"F*!" &=}K&=-"J8+Qi!"m";&"a
m8g3=9Y8a)m8<J8+!L93j=3'&
2*&8^!"/&=9dR3ds=Jj"vY$Z!=f!" !"$="nF(+3#*=:"dˆ˜?E>J8=@!#!
="9"&"8!_YjQF8E>J8=.!_="g`)'GyY$Z!=p8Y9™wYi9!"|(&Y_>Yi9
!"|!9(=hˆAAAAAAAYn••••••••HxY$Z!QF"!"("2!L9"<Y8a)"F"TF!#!!l)=/!Q]
G8<)Q)*=-"59=Yj&!L9"<="p&W&Q]G8<)=hAAAAAAAAYnŽ•••••••HxQF"!"(!#!
&Q6&["3a3HeQ6&Yg!$–&* 9j8Q)&!L9P8GRRdRY$Z!b[TF(SH=9!m!L9!"$%&
=-"!" 9!#!J8nY$Z!m"98J#(=N""83j=!"$%&=-"Y$Z!!"b*S"<="p&Hxb[={9Jj
˜
Sep 05 2008 !"#$%%&'
Discoverer:()*#+,-.%
Descripon : ,$%%&'%//&$/'"/%&00
1 %%%2"%&'&34&5&%6,7(89&2
&.*$/!"
/.%&2%$1:.&;&$%&'/
'&
<=:2>>"""%&'1>%>>?
Sep 05 2008 !"#$%%&'
Discoverer:()*#+,-.%
Descripon : ,$%%&'%//&$/'"/%&00
1 %%%2"%&'&34&5&%6,7(89&2
&.*$/!"
/.%&2%$1:.&;&$%&'/
'&
<=:2>>"""%&'1>%>>?
P8GR"i["2TF(TW&Yi9!"|J•=Y)GFAA•AAAAA-"Q$v8="g"8<=f!" !Jj"v=(&"<
="p&
4567.$8
8n[="R(S!"/&=9=-3"8g)Yn`)#=-"&58"F3!L93j=!"$%&=-"=(&"<="p&
-"Q$v83;='`)#=-"F*8'He3j=!"$%&=-"Y$Z!b[TF(=(&Jj"vTFY9&="I!
"8<Yn!2)G<"=" B(&"<Y8a)"F"!_="9"&"8.?H=)!=8([(8=R@GF="9"&"8
!" 9Yi9!"|!L9!2)G<"Y$Z!="I!"8<=8n[="R("8!2)G<"=" BY$Z!="I!"8<<Y8a)
"F"Hx!l[["#=3j=H=9!mP93R3v8Yg="I!"8<!"("F3PY$Z!&58(&P93RF*!_
3j=Hp="F"["=)*"8+`)9=5&"l=GFJ9="F"["M
Ž
9:;!7<=
X ƒMR=)T9G)RM!" 9Yi9='TaH9)m"8"F3PY$Z!="I!"8<d(&
X 7$)Gb8.?=9!m[(8=R@M.GF!(=}HeQ6&=(&H=9!m8<!G$)Gb8.&8/[T8<!`)'
GyJj"v=:"=(&H=9!m!L9"F3&58!"N"d#!m"8"F3P="I!"8<d(&
X )PPRMjY<3Y$Z!!l[["#=!"(!#!J8n=(&"F3P?="93J8nS="93Hp@
+!b"T8<!!l[["#=3j=H=9!mP93RS="9"&"8.!,&!" 9j8Q)&GFYi9!"|Y)=8+
!L9Y(bJj"v!" 9j8Q)&"F3P8n[Y_"F3PY$Z!="I!"8<"8='mn=`)'TaS=9!m
P93RY$Z!!l[["#=HxY$Z!&8'8["_&"9"&"8.HxGl*&8#=i!L9ƒS!#!="9"&"8.
Y$Z!["6!"18hY_!")tJi="I!"8<!2)G<"=8n[="R(GF!2)G<"=" ˜=(&!"$%&=-"
!"N"
>?!.$/0@!/A/BC-'
7Z8Q6&!#!"=" !"59=Yj&=+Smodl)!_="g&"8TF(j8Q)&!L9J)PPRTv8mN!"="$v!
l=Gvm"8nJjY<3Ji=FH9(!"(=b8Y(b"v!" 9ƒHxJi&"8YqG+&8#=i=W&Tv8Yi9
!"|!L9Y(b3rYj!"$TO*Sm"8"F3PY$Z!="I!"8<d(&S="9"&"8.Hx"O&8#=iGF
Yi9!"|!L9Y(b3rYj!="9*T-Yi9!"|!L9!2)G<"=" ˜=b8"F3&58!"$%&=-"2)G<"
=8s[="R(Y$Z!="I!"8<HxGF!2)G<"Y)=8+!L9Y(b3rYj!
ˆ
8.8. 9MN!F5OFL
8.8 /!0123,9MN!F5OFL
748m";&Y*YL!_=")O=&]=8n&"GF“Incomplete Mediation.748m";&Y*YLGFG48
G8+`)9!"k=!"xYn!#!&8#=iY)TF(!L9!"$%&=-"["3a3TF="$^&Y$Z!Yi"
&":9J\8"]&&$^8QW&Jl=m-?m"_!_="g=8=$\&Y$Z!@#! &Q6&uRJGF3j==(&
"]&TNQ6Y8g"-"!L9"_3!"$%&=-"["3a3F*NQ6Sm"8Y$Z!*+)!)"O[3j=
Yi9!"|R398GS&$^8QW&!_="g"O[!#!&8#=i"$89&š!9H9999!92*m";&["'8GF3j=
Yi9!"|R398G"Z[G<wj=!"$%&=-"["3a3!["'8m8g3=9Yg!"•!!"•K&&$^8
QW&Yr"O[&8#=iY)TF(GF"Z[G<hY_S"]&*+)!)!L9&$^8QW&3v8!_y&":9GF
Y$Z!="I!"8<3j=!#!"Y/&Y•†)#=-"m8g3=9F*&58GF3RQ89=8(
748m";&Y*YLd'*9m"83F3j= &Q6&["3a3!"l["O"]&&8#=iY)TF(
m";&!"N"d#!?Ta3k=m8g)Q]G8<)SYi"Qb&Q]G8<)Sj8Q)&TT@S†)9Y_!"$%&=-"
["3a3F*Hx="I!"8<m";&!"N"d#!NQ6"$m"8Y$Z!*+)!)"O[HpY8<="(b8S
&$^8QW&="9*T-"O[HpBD•ˆˆ˜•B˜Ž="-Gb8"O[&8#=iBD•Xˆˆ˜X•B˜Ž2*GF3j=&8#=i
"O[TF(!_y&":9"$&Gb8m";&Y/&Yi"Qb&_="gm"8n!"(["3a3deGym";&
!"N"d#!‹DDŒ
(&G48m";&Y*YL!"/&=9=O[=)&=-3"8g)TF(!#!&8#=iY)TF(m";&!"N"d#!
J9(&13M
X ";&Y/&Yi"Qb&M„?Q9*(PJ(@MD•ˆAXA•XED
X ";&!_y&":9M„"O&8#=iDˆŽ˜XDAXD>wj=&$^8Y9&Hp&"8<=b8m";&="g!_
&F*H8"TF(‚3DˆŽ˜
X ";&Y1&"l=Tv8!#!&8#=im"#!
„(Y_S=(&="I!=nSYg["{&!"p&G48m";&Y*YLSYk!J8<=Tv8!#!["3a3auRJS
!"/&=9["'8#[Q6&m8g3=9&8#=i!L9J8n=b8!'"98["N9!G8R=TFHRTR"$%&=-"["'8
m8g3=9Yp8Tv8!#!Q]G8<)Y$Z!"O[J\8&$^8QW&+!b"Y_!"$%&=-"["'8m8g3=9
T8<!&$^8QW&!_Y8a)!"|"Q]G8<)"9*m";&Yp8Tv8!#!=b&="#8Y$Z!&$^8QW&G$)Gb8
8.8.8. PG"+'(&'H3,9MN!F5OFL
Šs=3j=TNQ6Y%&8'M
"9J)P‹ˆAŒ“
(8QT)GR9JGR?@•
=GR‘R9Q›8=›P(3›R=u(m?@“
"9œ[‘R9Q›H=8&›P(3›R=u(m?@“
P?GR•H8žR(PJ)P@•
ƒ(?”GR&="=((G9&R—@
R=)“
•
’
wR3![*?J)PS[SGR@“
’
(&TNQ6F*S"F3T)GR9JGRGF3"8<3T6Y5!3j=Y(bQ]G8<)=hJj"vTF(J)PTv8
YjQF8"O[=hJF["N3Šs=!2)G<"R9›8=›P(3›R=u(m?@ŸF&&8#=i!L9GR3j=!#!"
G(&8!["'8"O&8#=iQ$%&)*"8+T8<!"O&8#=i=h3b&"(F=(F!_="gd'*9=$^&
"Z[&8#=iF*GF3j=Hp23!_Q]G8<)Y$Z!&e8=v8=h&$^8QW&m";&Y#&=8"(k!Q]G8<)
JiH98Q(`)#=-"=)*a=8=+3b&"8Y_!2)G<"3R3![*HxG);Y$Z!="I!"8<"8
F*GRY$Z!s[m8g)H9&"F"Hp&)*+m";&Ql)="-3j=Hp23Hx="F"3j=Hp&)*+l=
Gv„(Y_!"$%&=-"Hx="I!"8<H98S="O3!"N"<="p&!_="gYfTz
Šs=3j=TNQ6m"#!=(&="I!=n"8&H!(3GFuRJH8=R=h&3•!G48F*‹ŽŒ=(&3j=G8m
Yk="F&"$H9)M
78mYk="F&=+="8&H!(3
"==[Mccuuu="8&H!(3c(QRcP89G !)H=„‘DAD [9=‘BBB `*‘>A [8!R‘DA H"8[‘J(9= H"8
[!(H=‘B =(=9G‘>AB
"==[Mccuuu="8&H!(3c(QRcP89G !)H=„‘DAD [9=‘BBB `*‘>A *E&:Q- H"8[‘J(9= H"8[
!(H=‘B ''2,Q8R
78mF*3k!QW!" 9!#!=";&=8TaYk="F&S="9"=(#"$&Gb8m";&m8g3=9Gb8&8#
=i!L9Y%"F&¡Y2*!6="gGFm";&m8g3=9Gb8!#!&8#=i&8#J#=$%& &Tv83r3k=
"F&odl)!_="gGZ8Q6&YgHe9Gb8&8#=hDA™="F"D™Tv8!#!=";&=8Yk="F&=$%& &
†)9Y_&8#3)9 DAH'["t3!"|!{>B™="9*T->AB™=(&="I!=n748F*Yrm"8n
="8&!(3H="8<="b8k&m"8!"$9["#="8<9
8.8.I. J&K'&L2,9MN!F5OFL
"$Yr=-"JF*=(&"98["=+SG48m";&Y*YLTaJ'!"l=GFm";&m8g3=9!#!&8#
=iY)TF(3j=!#!""Z[Gy748m";&Y*YLd'*9m"83F3j= &Q6&["3a3!"l["O
"]&&8#=iY)TF(m";&!"N"d#!?Ta3k=m8g)Q]G8<)SYi"Qb&Q]G8<)Sj8Q)&TT@748
m";&Y*YL!_="g["{&!"p&JK&T8<!m8g3=9m:=l=!'!#!&8#=iY)TF(!_["W"Z[Tv8
*+)!)!L9"F3Y$Z!&58"9*m";&
8.I. 9FS!>@
8.I /!0123,9FS!>@
748Y1&Jj?*!"(8ž9=8(@S=(&G:"TI!["3a3!{Y$Z!&58GF?=83R
=(!"R!m=(=83R(P)HR@SGF3j=Gv[G48["3a3&2*9J\8HI="9*Yf8"<="p&&8]9T8<!m8g3
=9?!"R!m8&@3j=Y8a)m8<F(Y_?TNQ6"$3j=!" &!"|J'(3O=@TFT8<!HeQ6&!#!mn=
`)'m8g3=9Y_
"98="#!3j=Y8a)m8<Y{8"}8="^8&89!"N"d#!Yg!"•!!"•K&!#!"(b=
Yj&!"qTF(!L9mo=l!;&Y/&Tv8!#!b"2(&TNQ6=+Smo=l!;&["'8="I!
DA
"8<!#!!)j!&58"<="p&G8+mn==$Z&=$&!"N"d#!&8]9!#!accessTFopen"(!)j!=l
!;&!")&"l=Smo=l!;&["'8Y$Z!G+mn"(b!"Yg="I!"8<H9)348"(b=Yj&!L9&$^8
Ji"b8S!{Y$Z!&58GF"single – stepping”
¢=")O=QW&3j=J$v!3j=!"$%&=-"b"2J9(&133+!)&"<="p&=O[=8TF
!#!!)j!=l!;&[" !=b[=")O==(#(&!'"98=$^&"Z[S"]&mo=l!;&YrY8a)m"8g
=b&="#8"<Y8a)"F"Ygm8g3H(#=Gi!"=-"!L9b"2
"$9!_&8'8["#[!")&Yg["{&!"p&S\Y2*&8'8["#[d#!Yi"Tv8"<="p&
=O[=8"8<=b8.Š.X„R99)>AA•Tv8!"8n=")O=M
X 8g3=9=:"!"(3p8&)*"8g3?="^8&89J8+Qi!"@
khó thực hiện
X 9!mH!"$%&=-"HR=)8Q?Yk!`)*a=p8="8g)@ dùng fix các lỗi thông thường cho các
ứng dụng đơn lẻ
X ."#="8<&)*+"2TF="8<="b8?9!R)9Q@ khó thực hiện
X eQ6&!"nYj&$^8QW&?HRX3(QR@["#="8<Yj&
đòi hỏi thay đổi API(Application
programming interface), không triệt để, có tính xác suất
X "9*Yf8&89(Q8<
Phương pháp phổ biến nhất cho các vấn đề chung
8.I.8. PG"+'(&'H3,9FS!>@
(&8dS 3r H9)Y2*S m"8Y$Z!HeQ6& =(& 3j=!"$%&=-" setuidS GF3j=G48
8P?9!!RHH?£P8GR£S‰›@¤‘A@•
Rd8=?D@“
’
PQ‘([R?£P8GR£S›‰7@“
u8=R?PQSJ)PPRSsizeof?J)PPR@@“
F39!!RHH!_"8<3T6GFm8g3=9)HR?&$^8="I!="8!"$%&=-"@!_`)*aYg&"8TF(
P8GR"9*m";&(&TNQ6F*Smo=l!;&!p&•&="9*Yf8"<="p&=b8="^8Y8g3&8]9!2)
G<" 9!!RHH TF ([R Y$Z! ="I! "8< •& !2) G<" H*3G8m ?=b( G8m 3a3 &8]9 P8GR TF
cR=!c[9HHuQ è Gh9Y$Z!&$^8QW&="9*T-&"8j8Q)&TF(P8GR="-Hx&"8j8Q)&TF(
cR=!c[9HHuQn)"$mo=l!;&J8n=Y$Z!j8Q)&&"8TF(S!_="gGZ8Q6&YgT$Z=`)*a
DD
DE&'()!/F.$G"H
(&TNQ6F*Smo=l!;&!_="gm"98="#!!#!Y8a)m8<&8]9!#!=)*!O[TF3\YgGh9
!#!b"2HR=)8QTF(&"8Yq3j==";&=8=)*!O[=(&!%H\Q]G8<)3O=m"t)"<="p&SG48
F*!_="gY$Z!HeQ6&YgGR(="9&Yk!`)*aSYg!_Y$Z!=)*!O[`)'=iTF(3#*
wk!QW"]&HIT8<!F*Y{8"}8="^8&89!"N"d#!S_!_="g!"(3j=mo=l!;&YgH•[
dn[Y8a)m8<"$TO*3Fm";&!_`)#"8a)m"_m"‚
8a)F*!_&":9K&!#! &Q6&m";&="g&8'Yi"=b&="#8`)'Gy!L9"<Y8a)"F"
Hxm";&="9*Yf8&8]9!#!!)j!&58"<="p&
8.I.I. J&K'&L2,9FS!>@
"$["2=N!"=(&TNQ6=+SJ'!"l=!L9G48Y1&JjY_GF3;8=$^&Ji="9*Yf8=(&
`)#=-"="I!"8<!2)G<"m8g3=9TF!2)G<"="9(=#!Tv83;8=$^&wk!QWT8<!="9*Yf8
"<="p&["'8="I!"8<!"N"d#!=(&m"('&="^8&89"}S"$&mo=l!;&T~!_m"'
‚&="I!"8<Y$Z!lYa\Y2*GF&$^8GO[=-"T8+m";&="g!"•!!"•Y$Z!GF"<="p&
!_="9*Yf8"9*m";&&8]9"98!2)G<"9!!RHHTF([R_="g&2*'""$\&Tv8T8<!m8g3=9
=)*"O[o=l!;&!_="gGZ8Q6&Yg!"8n3`)*aY8a)m"8g"(k!="I!"8<="9(=#!Jl=
"Z[["#[
I. &>)**2'4*5636
(&["=$v!S&$^8T8n=Yr=-"JF*TaJ9G48["3a3!fY8gSY%&8'GFG48=FJj
Y<3SG48m";&Y*YLTFG48Y1&Jj(&["=8n[="R(F*S&$^8T8n=d8Ya!O[YnTl
YaGF3="nF(YgY'3J'(Y$Z!9=(F["3a3_"8a)J8<["#[Y'3J'(9=(F["
3a3m"#!"9))*"8+!_="g["2!"899="F"J9"_3J8<["#["$H9)M
D>
X '3J'(9=(F["3a3=";&`)9m8g3="e["3a3?H(P=u9R=RH=8&@
X '3J'(9=(F["3a3=";&`)9m8g3Yi""-"=" !?P(39GTR8P8!9=8(@
X '3J'(9=(F["3a3=";&`)9GO[=-"9=(F?HR!)R!(Q8&@
."Q$v8Y2*S&$^8T8n=d8=-"JF*!6="gTaJ9["$%&["#[F*
I 7T6'U*5636
8g3="e["3a3!{&58GFH(P=u9R=RH=8&GF3j=["$%&["#[["fJ8nY$Z!="I!"8<
"K3Y'3J'(9=(F["3a38g3="e["3a3!_="gY$Z!=8n[!O=+"8a)"$v&
m"#!"9)-"Q$v8="g"8<J9"$v&=8<[!O!%J'=(&m8g3="e["3a3M
I?!JK*+'G4H
X V*MHW&MT6'U4'(&)MT6'UM8p&Tv8`)#=-"m8g3="e["3a3
=";&="$^&`)9!#!J$v!m8g3="e"$M
o 7T6'UFXYZ[':A'!\M."Gv!#!["$%&["#[="8n=mn["3a3Ya)Q~
Yn!"89["3a3="F""]&3;XY)"9*!"$%&=-""}!_!#!Q]G8<)TF(TFmn=
`)'8+&"9*!{&58GF!#!Y%Ti?)8=@["3a3+!#!Y%TiF*!"/&=9Hx=8n
"F"m8g3="e8<!m8g3="eY%TiHxmn=="/!m"83F=l=!'!#!=$^&"Z[m8g3="e
Y$Z!="I!"8<="F"!;&
o 7T6'U'G&]*Z':!E2':A'!\$Y$Z!="I!"8<H9)m"8Yr="I!"8<m8g3="e
Y%Tiw6!=8+)!L9&898Y(bm8g3="e=N!""Z[GFm8g3=9HI&89(=8n[TF=9(Yf8Q]
G8<)&8]9!#!="F"["["3a3(&&898Y(b=N!""Z[S!_="g!_m"'‚&["'8He
Q6&!#!="F"["m";&Y$Z!["#==8g=(&QI#["3a3S3FGF"]&="F"
["Y$Z!!)&!l[HVJ\8!#!="$T8<"9*="O3!"NGF!#!="F"["Y$Z!!)&!l[
J\8"<Y8a)"F"
o 7T6'U^&_!Z`1&':A'!\M(&m¢=")O=m8g3="e!" !‚&SQ]G8<)
m8g3="eY$Z!d)l=["#==hYk!='["3a3J9(&13MYk!='!#!*+)!)?Yp8Tv8m8g3
="e"<="p&@SYk!='="8n=mn?Yp8Tv8m8g3="e=N!""Z[@TFYk!='!"8=8n=3;Y)?Yp8
Tv8m8g3="eY%Ti@7F3j=m8g)m8g3="e"j[YRm";&`)9=23!l)=/!TF"F"T8
J+=(&!L9["3a3S!"|!`)9=23YnT8<!=-3!#!"8<=$Z&3F["3a3
DE
m";&"F"de="R(Y/&Yk!='!L9_8g3="e!" !‚&!p&•&=-3!#!G(b8G48H9)M
="8n)!" !‚&SG48&89(Q8<SG48!l)=/!Q]G8<)SG48=)*!O[!%H\Q]G8<)SG48="8"F"S
G48m"\8=b("(k!mn=="/!S‡
o 7T6'U)1_!Z:E<E62&::A'!\Mm8g3=9"8<)‚&!L9["3a3"$M
="^8&89Y#[ &SHeQ6&=F8&)*+"<="p&S‡="$^&QW&!;&!6=RH==IYj&
"(k!J#=IYj&
o 7T6'UN!VZ&&:*'2&::A'!\$$Z!="I!"8<m"8=l=!'!#!&898Y(b
m8g3="eY$Z!"(F=l="K3Yg!" &38"["3a3YrYLHVHF&d)l=d$\&#!
="L=6!m8g3="e"(k!!"b*="e["'8Y$Z!&$^8Yk="F&!"l["O=$v!m"8="I!"8<
o 7T6'E24FD'ZA'2,,2':A'!\$GFT8<!m8g3=9Y'3J'(!"l=G$Z&!;&
&"8<[!L9["3a3_=O[=)&TF(T8<!m"#!""F"!GF3&-Yg!F8Yk=TF="8n=GO[
["3a33v8="F"!;&†)#=-"m8g3="e!_="gJ9(&13Y*YLS3j=[""(k!
2&!l[!F8Yk=c&zJ}!F8Yk=!#!`)*=-"
X a'G&'bM7F`)#=-"["=N!"["3a3QI9=+3r!(QRM9(&13!(QRH!98&
?`)s=3r&)1QI9=+!#!!;&!6H!98&!_HV!")*+["6!T6!"(T8<!["2=N!"9
=(F["3a3@"9*!(QR8H[R!=?QI9TF(m8"&"8<3!L9&$^8m8g3=9@wj=TNQ6!L9
=$^&"Z[["2=N!"=:"GF!;&!6["#="8<TF!'"J#(G48=FJjY<3!L9w8!(H(P=
8H)9G=)Q8(2*GF3j=9QQ(=N!""Z[TF(`)#=-"J8+Qi!"!"$%&=-"QQ(F*
!_=#!Q6&d#!Yi"Hv3Y(b!(QR!_m"'‚&JiG48=FJjY<3S`)9Y_!'"J#(!"(
&$^8GO[=-"
X a'G&F@!M7F`)#=-"["2=N!"G48["3a3m"83F["3a3Y$Z!="I!="89(
&13MHeQ6&=((GSQi!"T6!_HV"9*„W&"R!m78H= !GFQI9=+!#!!")t?H=9Q9Q@S
!#!"-"3~)="I!"F"=p=?JRH=[9!=8!R@Ygd#!Yi"dR3["3a3!_Y'3J'(9={9
"9*m";&n)["3a3Y$Z!!l)"-"S!F8Yk=S="I!="8=)2="R(!")tSJRH=[9!=8!R="-
Y$%!!(8GF9=(F
I.8. 7T6FYc'^&
8g3Yi""-"=" !!_=")O=&]=8n&"GF“Formal Verfication”. (&G:"TI!&"8+
! )Ta!#!"<="p&["! &!,&"$!#!"<="p&["3a3Y$Z!Sm8g3Yi""-"=" !
Y$Z!Yi"&":9GF3j=["$%&["#[S3j=`)#=-""K3!" &38"=N"Y/&Y•!L93j=
=")O==(#Y$Z!!F8Yk==(&"<="p&2*!,&GF["$%&["#[d#!Yi"m"'‚&Y#[ &
Y$Z!!#!*+)!)Ya9!L9"<="p&["3a38g3Yi""-"=" !!_y&":9Gv=(&T8<!
!" &38"=N"Y/&Y•!L9!#!"<="p&"$M!#!&89(=" !3r"_9S!#!3b!"=f&"Z[S3b!"
Hp"_9‹DŒ
†)#=-"!" &38"+)=+Y$Z!="I!"8<3j=!#!""-"=" !S=";&`)9!#!3;"-"
=(#"5!¡Y_S348"<="p&"(k!="F"["!L9"<="p&["3a3Y$Z!3;"-""_9JK&
3j=3;"-"=(#"5!#!36!=8+)S*+)!)Ya9!,&Y$Z!3;"-"S!")*gYf8="F"J8g)
=" !S!#!3<"YaS=(#"5!=$%& &Tv83;"-"=(#"5!+)=+8<!!" &38"=N"
Y/&Y•!L9"<="p&Y$Z!!")*gTaJF8=(#!" &38"Y$Z!J8g)=" !S3<"Ya=(#"5!‡
d#!Yi"Y$Z!&F*9*S!_"98["$%&["#[m8g3Yi""-"=" !["fJ8nGFm8g3Yi"3;
D•
"-"?3(QRG!"R!m8&@TFH)*Q80G(&8!?G(&8!9G8PRR!R@(&["=8n[="R(!"/&9Hx=-3
"8g)!6="gTa"98["$%&["#[m8g3Yi""-"=" !F*
I.8 7T6FY6Nc
8g3Yi"3;"-"!_=")O=&]=8n&"GF“Model checking”"9*“Property checking”.
(&G:"TI!&"8+! )Tam"(9"5!3#*=N"Sm"#88<3m8g3Yi"3;"-"Y$Z!QW&YgYa
!O[=v8JF8=(#m8g3=93j=!#!"=IYj&3;"-"!L93j="<="p&!_Y#[ &Y$Z!*+)!)
Ya9"9*m";&‹>Œ";&="$^&m8g3Yi"3;"-"Y$Z!#[Q6&Tv8"]&"<="p&!_"])
"b=b&="#8"$GF!#!&89(=" !=)*a=";&SHI&89(=8n[&8]9!#!3b!"Y8<#!Yk!='*+)
!)!L9"<="p&Y$Z!J8g)Q80JK&!#!3<"YaG(&8!8]9!#!=b&="#8=(&"<="p&!_
!#!!")*g=8n[?&58GF=9H8=8(@†)#=-""(b=Yj&!L9"<="p&Y$Z!="g"8<JK&Y1="-
!")*g=b&="#8H=9=RC=9H8=8(F8=(#m8g3Yi"Y$Z!"8g)GF`)#=-"Q)*<=`)9=l=!'
!#!=b&="#8!L9"<="p&=";&`)9=l=!'!#!!")*g=8n[=+Y1="-!")*g=b&="#8!"(Yn
m"8!#!3<"YaG(&8!Y$Z!="}93r‹EŒ
#!3<"YaG(&8!=(&m8g3Yi"3;"-"="$^&J8g)Q80=" =Id)l="8<!L9!#!HI
m8<!")*g=b&="#8=(&3j=m"('&="^8&89"l=Yi"#!3<"YaG(&8!Q(Y_Y$Z!&58
GFG(&8!=b3="^8?G(&8!=(&m"('&="^8&89@8g)Q80G(&8!=b3="^8!_"8a)!#!"m"#!
"9)(&Y_SHeQ6&!2*G(&8!?RRG(&8!@GF3j=!#!"="$^&Y$Z!HeQ6&2*G(&8!Y$Z!
d2*QI&=hY1="i!")*g=b&="#8-"Q$v8Y2*‹EŒGF3j=TNQ6Y%&8'!L9T8<!!")*gY1
="i!")*g=b&="#8H9&!2*G(&8!w48"#"!L9!2*G(&8!="g"8<3j=m"'‚&!_="g="I!
"8<!L9"<="p&?3j=mi!"J'"59=Yj&!L9"<="p&@
LE&JM/FBJN!%O(!
8g3Yi"3;"-"!_T98={`)9=5&=(&G:"TI!!" &38"Gy=")*n=(&Y_Yk!
Y8g3`)9=5&"l=!L9m:=")O=F*Y_GF!_="gY$Z!="I!"8<3j=!#!"=IYj&&$^8He
Q6&m:=")O=F*!"|!Yk!='"<="p&\3 !!9(Tv8!#!*+)!)m:=")O=!6="g!m8g3=9
<="p&m8g3=9Hx="I!"8<m8g3=9TF='Gb8mn=`)'n=`)'GF'E1:n)"$3;"-"="}9
3rY$Z!!#!*+)!)Ya9TF&$Z!Gb8
I.8.8. d1O"e,!&
/!012
DB
)*Q80G(&8!?G(&8!9G8PRR!R@GF3j=["$%&["#[Y$Z!HeQ6&["fJ8n=(&m8g3
Yi""-"=" !$=$\&=f&`)9!L9["$%&["#[F*Y_GFJ8g)Q80"<="p&["3a3
JK&3j==O[!#!J8g)=" !G(&8!(&Y_SY)TF(SY)9!L9"<="p&S!"$%&=-"Y$Z!
J8g)Q80SJiF&J)j!J\83j=J8g)=" !G(&8!+!b"Y_SJ'="2["3a3!,&JiF&
J)j!J\83j="9*3j=Hp!#!J8g)=" !G(&8!hY_SJF8=(#m8g3Yi""-"=" !`)*TaT8<!
H)*Q80G(&8!Ygd#!Yi"*+)!)Ya9!_Y$Z!="}93r"9*m";&
"$%&=-".GF3j=JjJ8nYf8=)=I.Yg!")*gY)TF(d="F"Y)9*“\Y2*dTF*
"(F=(FY$Z!d#!Yi"=$v!"$TO*S3j=!"$%&=-".Y$Z!&58GFY/&n)_="I!
"8<!"N"d#!"]&36!=8+)Q(&$^8="8n=mnYk=99&58M
¥8'="8n=•’GF3<"YaY$Z!["#=J8g)Yg="g"8<=N"!"l=!L9Y)TF(S&58=•=GF3<"
YaQ]G8<)TF(
¥n=G)O•’GF3<"YaY$Z!["#=J8g)Yg=N"!"l=!!_!L9Q]G8<)9S&58=•=GF3<"
YaQ]G8<)9
„(.!_=N"=)=ITF"])"b+!_="gJ8g)Q80.GF3j=Qr*G8+=8n[!#!!l)=/!Y8a)
m"8g.DS.>SS.„~=v8.DJ8nYf8•’="F"•D’S.>J8nYf8•D’="F"•>’.
J8nYf8•XD’="F"•’„I9TF(`)*=•!=(#"5!S•’!_="gH)*9•’="-=9!_="g_8
K&.GFY/&Tv8!#8TF(•’TF!#89•’7/!F*my"8<)•’.•’_8!#!"m"#!SYg
!" &38".GFY/&S=9!" &38"="R(H%Y1H9)M
•’.D•D’
•D’.>•>’
‡
•XD’.•’
•’‘••’
-"Q$v83;='`)#=-"H)*Q80"<="p&=";&`)9["$%&["#[=(#"5!
D˜
P# 7%!Q(!
PG"+3A1O"e,!&
g"8g)Ÿ"%Ta`)#=-"H)*Q80G(&8!S!"/&=9ds=3j=TNQ6Y%&8'"$H9)M!"(
3<"YaQ]G8<)TF(•MdS*∈“A¦d¦D’TF3<"YaQ]G8<)9•MdS*∈“d•*¥E’(b=-"
.‘.D∪.>∪.E∪.•"$H9)M
dM‘Dcd¥D“?.D@
*M‘*¥D“?.>@
dM‘d¥>“?.E@
dM‘d¥*“?.•@
7/!F*=9!_Qr*J8nYf8=N"!"l=Q]G8<)TF(c9"$H9)M
•’.D•DMdS*∈“d•>’
•D’.>•>MdS*∈“d•>’
•>’.E•EMdS*∈“d••’
•E’.•••MdS*∈“d•*¥•’
"I!"8<=)=I!#!["s[J8nYf8.DS.>S.ES.•=9"O="l*mn=`)'Y)9="('3rJ8g)
=" !G(&8!=(&•’O*=9!_mn=G)O•’.•’"9*_8!#!"m"#!GF.Y/&Tv8Q]G8<)TF(
•’TFQ]G8<)9•’
)'F32E:AU"+!'E!A1O"e,!&
(&H)*Q80G(&8!SYgJ8nYf8Y%&8'TF!"N"d#!S&$^8=9="$^&#[Q6&"<=8+Ya
(9RJ9(&13‚3=8+Ya!%J'M
F3-$F3'15'(
DŽ
n)3<"Ya•’H9)m"8!"i)=#!Yj&!L9m"p8!l)=/!Y8a)m"8g.=9Y$Z!•’TF3<"
Ya•’H9)m"8!"i)=#!Yj&!L9!l)=/!Y8a)m"8g†=9Y$Z!•’="-•’!"i)=#!Yj&=)
=I.S†Hx=")Y$Z!•’9*_8!#!"m"#!SY2*!"N"GF=8+YaTaQr*="9(=#!Mn)•’.•’
TF•’†•’="-•’.S†•’
F38$'G&K'&L2*f*!
8a)m8<Yg!_3<"Ya•’H9)m"8="I!"8<G<"&#dM‘ƒ?Tv8ƒGF3j=J8g)=" !@=h
3<"Ya•’="-=$v!Y_=9["'8!_•’H)*Q~Y$Z!9•‹d§ƒŒ’w<"Ya•‹d§ƒŒ’GF3<"
Ya=")Y$Z!=h•’JK&["s[="9*="n358d)l="8<!L9d=(&•’J\8ƒ !GFM•’dM‘ƒ
•’="-•’‘••‹d§ƒŒ’S2*GFm¢=")O=G&$Z!!L9=8+Ya&#
F3I$g
X v83<"YaQ]G8<)TF(•’S3<"YaQ]G8<)9•’SJ8g)=" !G(&8!ƒSTFY(b=-".
n)=9!_•Sƒ’.•’TF="-=9_8K&3<"Ya•’TF•’=)2="R(!l)=/!x"#"
Qb&m")*n=Tv8!l)=/!.TFY8a)m8<GI9!"5ƒ“= !GFM•’8Pƒ="R.“•’
X v83<"YaQ]G8<)TF(•’S3<"YaQ]G8<)9•’SJ8g)=" !G(&8!ƒSTF!#!Y(b=-"
.S†n)=9!_•Sƒ’.•’TF•S¤ƒ’†•’="-=9_8K&3<"Ya•’TF•’=)2="R(
!l)=/!x"#"Qb&YLTv8!l)=/!.S†TFY8a)m8<GI9!"5ƒ“= !GFM•’ifƒthen.
else†“•’
F3h$G>K'>H&L2&X!'Ec
"(3<"YaQ]G8<)TF(•’TFY(b=-".n)=9!_•’.•’="-=9_8K&=N"!"l=
Q]G8<)!L93<"Ya•’m";&="9*Yf8m"8!"i)HI=#!Yj&!L9Y(b=-".TFG/!F*&$^8
=9_8K&3<"Ya•’GFJl=J8nYp8Tv8.S= !=9!_M•’.•’
F3R$F3,D*
"(3<"YaQ]G8<)TF(•’SJ8g)=" !G(&8!ƒTFY(b=-".n)3<"Ya•’=)2="R(
!l)=/!Gk[.Tv8Y8a)m8<Gk[ƒ="-3<"Ya•’HxJl=J8nYp8Tv8.=(&Y8a)m8<ƒS= !GF
•Sƒ’.•’Smn=="/!T{&Gk[=9!_3<"Ya•S¤ƒ’7/!F*=9T8n=M•’whileƒdo.“•S¤ƒ’
I.I. V*'Ec2'4
(&["EDTFE>S"_3Yr=-"JF*"98J8<["#[Ygd#!Yi"=N"9=(F!L9["
3a3S!"$%&=-"["3a398["$%&["#[F*Ya)Y$Z!="I!"8<H9)m"8["3a3
Y$Z!["#==8gSTFYr"-"="F"2*GF"]&J8<["#[="8+Tad#!Yi"["3a3!_"Z[G<
"9*m";&8<["#[=" J9"_3=-"JF*=(&["=8n[H9)Y2*GFJ8<["#[Y$Z!=8n[!O
=h"$v&&$^8GO[=-"T8+C"]&&$^8["#==8g["3a3$v&=8n[!OF*QI9TF(
T8<!GO[=-"9=(F!L9&$^8GO[=-"T8+S`)9Y_&8'3="8g)G48["3a3!_="gd'*9Yp8
Tv8"<="p&
Šs==+m"N9!b"F(Y_SGO[=-"9=(FGF3j=m"#88<3l=3%"17F3="nF(YgJ8n=
Y$Z!["3a3Y$Z!GO[=-"="R(3j=&8'8=")O=3F&$^8GO[=-"T8+="I!"8<="R(GF9
Dˆ
=(F"9*m";&&9*=b8="^8Y8g3["3a3Y$Z!["#==8g¨lYa=h)=$Z&TF=$\&"$
m"_m"‚F*Y$Z!=8n[!O="R("$v&QI9=+m8"&"8<3l="8a)=f!" !Yr&"8+! )
TFYa9"]&&)*+=•!S`)*=•!GO[=-"9=(FTv8"8T5&Sn)&$^8GO[=-"T8+="I!
"8<Y/&"]&&)*+=•!S`)*=•!F*="-["3a3Y$Z!["#==8gHx&8'3="8g)Y$Z!m"'
‚&3•!G48!L9["3a3
„$v8Y2*GF3j=Hp"]&&)*+=•!GO[=-"3FGO[=-"T8++=)2="R(M
X w(Q)GR"_9["3a3M"$%&=-"["3a3Y$Z!!"89="F"!#!="F"[""}TFY%
&8'&58GF!#!3(Q)GRw48="F"["F*!"|Y'3"O3j="8<3T6Y%&8'"l=Yi"
†)9Y_ST8<!d#!Yi"=N"Y/&Y•!L9348="F"["HxY%&8'"%8<!GO[=-"!#!
="F"[""}SY%&8'Hxm"_3•!G48"%†)*=•!F*!,&&8/[!"(T8<!&zp8S=-3G48
GFQ0QF&"%SJv=!"8["N
X [Q6&=N"Y_&&_8=(&GO[=-""$v&Yp8=$Z&M&F*9*Sl="8a)!#!!"$%&=-"
GvY$Z!GO[=-"="R(d)"$v&QW&3;"-""$v&Yp8=$Z&.N"Y_&&_8=(&
"$v&Yp8=$Z&m"8#[Q6&=(&GO[=-"Y_GF!#!Yp8=$Z&`)'GyQ]G8<)TF!#!
["$%&=" !="I!"8<!L98+&_#!Yp8=$Z&m"#!m";&="g=$%&=#!=I!=8n[TF(Q]
G8<)!L9Yp8=$Z&F*w)p="9(=#!?Gl*=";&=8SHe9Yf8=";&=8@!L93j=Yp8=$Z&
["'8=";&`)9 !#!["$%&=" !Yp8=$Z&Y_ !)& !l[ "9*=";&`)9!#!&89( Q8<
?8=RP9!R@eQ6&=N"Y_&&_8!_="g!"RQl)Y$Z!=";&=8Ta!#!"!F8Yk=S=";&=8Q]
G8<)"b*!'3S"b!"nhY_&8'3="8g)Y$Z!"]&=)*!O[m";&m8g3H(#=Y$Z!S"]&
="9*Yf8T;=N"S="9*Yf8m";&!="8n=S&8'3="8n)Y$Z!G48["3a3
+!b"#[Q6&"]&`)*=•!GO[=-"["3a3=";&="$^&SYgGO[=-"9=(FSGO[
=-"T8+!,&+#[Q6&!#!`)*=•!="+3TF("$H9)M
X 7O[=-"="R(!")tM2*GFT8<!#[Q6&="R(!")t=hT8<!Yk==+S!")t["2Jp!(QR‡
"K3Y%&8'"_9T8<!J'(=-["3a3Sd#!Yi"GFHe9G487O[=-"="R(!")t!,&
&8/[N!""K3"b!"n!#!G489=(F="$^&&k[\&$^83v8GO[=-"?=(&m"8"]&G48
F*YrY$Z!"8a)&$^8m"#!&k[["'8SY/!/=m8"&"8<3TFY$99!#!"=" !GO[=-"=p=
"l=@
X 7);m8g3=9!#!&8#=iY)TF(SY)9M";&="$^&!#!G489=(F="$^&J•=&)1=h
!#!&8#=iY)TF(TFY)9Q(Y_GF3j=G)1&="9(=#!!"L*n)Tv8"<="p&!L9&$^8He
Q6&#!&8#=iY)TF(TFY)9="$^&!_"]&F&J)j!"l=Yi"Tam"('&&8#=iS
m8g)Q]G8<)SYi"Qb&Q]G8<)‡&$^8GO[=-"="$^&!"(K&Y2*GF!#!Y8a)m8<F&
J)p!!L9Q]G8<)3F3-""OY$Z!)*"8+m";&["'8G/!F(!,&Gy=$\&"$TO*
„(Y_T8<!m8g39&8#=iY)TF(TFY)9GFl=!="8n=TFGF3j=*+)!)`)9=5&
=(&T8<!Y'3J'(9=(F["3a3"$[">Yr=-"JF*SG48["3a3=FJjY<3
"9*m";&Y*YLYa)J•=&)1=hT8<!modl)GZ8Q6&"]&Y(b!(QR3F&8#=iY)TF(
m";&Y$Z!m8g3=93j=!#!"="}9Y#&
X eQ6&`)*a="l["l=STh9YLYg="I!"8<!#!="9(=#!M"I!=n!"(="l*SGO[=-"Tv8
P)GG`)*a=)*!O[J9(&8^!,&=")OGZ8TFQ0QF&"%m"8Ji"b!"nTa`)*a=)*"O[
_GF!'3&8#!!")&!L9"]&&$^8GO[=-")*"8+HeQ6&`)*aTh9YLYgGO[
D•
=-"GF3j=`)*=•!`)9=5&=(&GO[=-"9=(F†)*=•!F*Y'3J'(Y$Z!modl)QW
!_GZ8Q6&Y$Z!3j=Y(b!(QRGO[=-"m";&9=(F="-!,&m";&="g=8n[=6!G99
="I!"8<"]&="9(=#!dl)m"#!Q(m";&!_`)*a=)*"O[Ji"b!"n
X _!"8nG$Z!m8g3=99=(F["3a3M(&!#!QI#["3a3Sm8g3="e9=(F
["3a3="$^&m";&Y$Z!!(8=5&"(k!="$^&Y$Z!="I!"8<\"]&J$v!!)p8
!W&!L9["9m8g3="e8<!m8g3=9"$TO*m"8n!"(TlYa9=(F["3a3m";&
Y$Z!!(8=5&Y/&3 !_!"8nG$Z!9=(F["3a3=hm"8m"\8Y)QI#SHxm"8n
!"(`)#=-"="8n=mn["3a3Sd2*QI&["3a3!_!%H\YgY$99"]&["$%&#
GO[=-"="}93r*+)!)9=(FF*
>A
4,)1'26MJ
‹DŒ"==[MccRu8m8[RQ89(&cu8m8c•(39G›TR8P8!9=8(
‹>Œ"==[HMccRu8m8[RQ89(&cu8m8cw(QRG›!"R!m8&
‹EŒ"==[MccR3JRQQRQRR!HJRmRGR*RQ)cRHR9!"cT8HcQ(!c8HHRcT8H›)HRc(QR•"=3G
‹•Œ"==[Mccuuu38Q=RR!(3cQ(uG(9QHcw8QRR•>AR!)8=*•>ARH=8&•>A•G*R[QP
‹BŒ"==[MccRu8m8[RQ89(&cu8m8cG9H=R›?!(3[)=R›u(3@
‹˜Œ"==[MccuuuHR!)8=*P(!)H!(3c9!"8TRcDc••˜A•>
‹ŽŒ"==[Mccuuu8P(38=!(3c9=8!GRHc9=8!GR9H[d¨[‘EDŽˆ>
‹ˆŒF8&8'&=(F["3a3CG48["3a3S !"#"Sb8"5!#!""(9F
j8
‹•ŒR!)8=*8(3[)=8&S•()="ƒQ8=8(S"9GRH..PGRR&RS"9879uR!R.PGRR&R
‹DAŒ1#”748=FJjY<3=+‰8Q(uH—S7$%&"#"(F&SGv[8BC•ˆ#!""(9
Fj8
‹DDŒ.(&93HR!)8=*Sƒ)RQ)"==[HMccuuu&((&GR!(3Tc)G¨
H9‘= !=‘€ `‘ RH!‘H H()!R‘uRJ !Q‘E TRQ‘A„†•€ )G‘"==[•E•>•
•>•uuu!HR)RQ)•>•©3&)RH
•>•!H•BA•>•!H•BAH[DA•>•7R!=)RDE›.(&93R!)8=*(=[[= R8‘ª«*BP3ww8†PEB
•• )H&‘•†€X!.Š[ª•ˆ•uPž«•>T&Š JT3‘JT•ŽˆˆEŽŽˆSQJ3m !9Q‘€9
‹D>Œ"==[MccRu8m8[RQ89(&cu8m8c83R›(P›!"R!m›=(›=83R›(P›)HR
>D
![[Khóa luận]bảo mật trong mạng voip](https://media.store123doc.com/images/document/13/ce/ow/medium_owg1387631266.jpg)
