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.
Взламывание пароля 
- техника (способ) тайно получать 
доступ к информационной системе (сети), в которой нападаю­
щая сторона с помощью вскрывателя паролей пробует угадать 
(подобрать) или украсть пароли.
Parolni buzib ochish 
- axborot tizimidan (tarmog‘idan) yashi- 
rincha foydalanish texnikasi (usuli) bo‘lib, hujum qiluvchi taraf 
parollami fosh qiluvchi yordamida parollami aniqlashga (tanlashga) 
yoki o‘g‘rilashga urinib ko‘radi.