S. K. Ganiyev, M. M. Karimov, K. A. Tashev

Ekspert  sathidagi  brandmauer 
-   olinadigan  paketlami  ISO 
modelining  uchta  sathida  tarmoq,  seans  va  tatbiqiy  sathlarda  tek- 
shiradi.  Ushbu  vazifani  bajarishda  paketlami  filtrlashning  maxsus 
algoritmlari  ishlatiladi.  Ular yordamida  har  bir paket  avtorizatsiya- 
langan paketlgming ma’lum shablonlari bilan taqqoslanadi.
Stateful  inspecthion  firewall 
-   checks  the  contents  of  the 
packets  received  on  the  three  levels  of the  model  OSI  -  network, 
session  and  application.  To  perform  this  task,  use  special  packet
301

---

filtering  algorithms  by  which  each  packet  is  compared  with  the 
known pattern of authorized packets.
Верификация 
-   процесс  сравнения  двух  уровней  специ­
фикации  средств  вычислительной  техники  или  их  комплексов- 
на  надлежащее  соответствие.  В  программировании  доказатель­
ство правильности программ.  Различают два подхода к верифи­
кации: статические и конструктивные методы.
Verifikatsiya 
-   hisoblash  vositalari  yoki  ulaming  kompleksi 
spetsifikatsiyasining  ikki  sathini  tegishli  moslikka  taqqoslash jara- 
yoni.  Dasturlashda -   dastur  to‘g‘riligining  tasdig‘i.  Verifikatsiyaga 
ikkita yondashish farqlanadi:  statik va konstruktiv usullar.
Verification 
-   the  process  of  comparing  two  levels  of  spe­
cification  of computer  equipment  or  systems  for proper  alignment. 
Also - programming proof of the correctness of programs.  There are 
two approaches to verification:  static and constructive methods.