Axborot xavfsizligi

 
Брандмауэр с фильтрацией пакетов
- является маршрутизатором или 

---

313 
компьютером, 
на 
котором 
работает 
программное 
обеспечение, 
сконфигурированное таким образом, чтобы отбраковывать определенные 
виды входящих и исходящих пакетов
Paketlarni filtrlovchi brandmauer
– kiruvchi va chiquvchi paketlarni 
ma’lum xillarini brakka chiqarish maqsadida konfiguratsiyalangan dasturiy 
ta’minot ishlaydigan marshrutizator yoki kompyuter. 
Packet-filtering firewall – 
a router or computer on which the software is 
running, configured so as to reject certain types of incoming and outgoing packets. 
 
 
Брандмауэр 
экспертного 
уровня
- 
проверяет содержимое 
принимаемых пакетов на трех уровнях модели OSI - сетевом, сеансовом и 
прикладном. Для выполнения этой задачи используются специальные 
алгоритмы фильтрации пакетов, с помощью которых каждый пакет 
сравнивается с известным шаблоном авторизованных пакетов. 
Ekspert sathidagi brandmauer-
olinadigan paketlarni ISO modelining 
uchta satxida tarmoq, seans va tatbiqiy sathlarda tekshiradi. Ushbu vazifani 
bajarishda paketlarni filtrlashning maxsus algoritmlari ishlatiladi. Ular yordamida 
har bir paket avtorizatsiyalangan paketlarning 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 filtering algorithms by which each packet is 
compared with the known pattern of authorized packets. 
Верификация
- процесс сравнения двух уровней спецификации 
средств вычислительной техники или их комплексов на надлежащее 
соответствие. Eще - в программировании доказательство правильности 
программ. Различают два подхода к верификации: статические и 
конструктивные методы.
Verifikatsiya
– hisoblash vositalari yoki ularning kompleksi 

---

314 
spesifikatsiyasining ikki sathini tegishli moslikka taqqoslash jarayoni. Yana- 
dasturlashda – dastur to‘g‘riligining tasdig‘i. Verifikatsiyaga ikkita yondashish 
farqlanadi: statik va konstruktiv usullar.
Verification
- the process of comparing two levels of specification 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.