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.
