Axborot kommunikatsion texnologiyalar

A  guruh.  Verifikatsion  himoya.  Ushbu  guruh  kirishlarni  boshqarish 
mexanizmlarining  to‘g‘ri  ishlashida  verifikatsiyaning  formal  metodlaridan 
foydalanishi bilan xarakterlanadi. 
A  sinf.  Formal  verifikatsiya.  A  sinfiga  kiruvchi tizimlar  funktsional  jihatdan 
B3  sinfidagi  tizimlarga  ekvivalent  bo‘lib,  ularga  hech  qanday  qo‘shimcha 
funksional talablar  qo‘shilmagan. B3 sinfidagi tizimlardan farqi shundan iboratki, 
qayta ishlashga kirishayotgan paytda himoya yuqori aniqlik bilan to‘g‘ri ishlashiga 
erishish  imkonini  beruvchi  verifikatsiyaning  formal  metodlari  qo‘llanilishi  kerak. 
A  sinfdagi  tizimni  verifikatsiya  metodlari  bilan  ta’minlash  uchun  tizim 
konfiguratsiyasini boshqaruvchi kuchli vositalarga ega bo‘lishi kerak. 
Keltirib  o‘tilgan  sinflar  ko‘p  vaqtgacha  xavfsizlikning  asosiy  konseptsiyasini 
va himoya vositalarini rivojlantirishda katta ahamiyat kasb etadi.