Автомат теориясы жүйесінде рұқсат алуды басқаруды көрсететін модельді сипаттау

Жалпы бұл модель компьютерлік жүйе ретінде көрсетіледі және ол операциялық жүйемен аппаратура жұмысын иммитациялайды.

Бұл модельде қалып-күй әр уақытта анықталады. Осыған байланысты жүйедегі әрбір бит және әрбір байт абстрактілі түрде қарастырылады.

Бұл модельде бірінші қалып күйден екіншіге өту функциясы пайдаланылады. Бұл бастапқы қалып-күйі қауіпсіздігін анықтау болып табылады. Математикалық түрде бастапқы қалып-күй қауіпсіздігі және де барлық функциялар қауіпсіз екені дәлелденеді. Кейін математикалық индукция жолымен келесі нәтиже шығарылыды. Егер жүйе бастапқы кезде қауіпсіздік қалып-күйінде болса, онда қндай функциялар қандай ретпен орындалғаннан кейінде жүйе бастапқы қалып-күйінде қалады. Бұл модельді құрастыру барысында келесі қадамдарды ерекшелеуге болады.

1. 
   Қауіпсіздік қатынасы бар қалып-күй айнымалылыарын анықтау әдетте қалып-күй айнымалылары жүйенің субьектілері мен обьектілері , олардың қауіпсіздік атрибуттары және субьектілері мен обьектілері арасында қатынас құру болып табылады.
   
2. 
   Қауіпсіздік қалып-күйін көрсету шарттарын анықтау. Бұл жерде қалып-күй айнымалылары арасында қатынастарды анықтау болып табылады. Қатынастың ақиқаттылығы бірқалып күйден екінші қалып-күйге өтуді қамтамасыз етеді.
   
3. 
   Бір қалып-күйден екіншіге өту функцияларын анықтау. Бұл функциялар қалып-күйлер айнымалыларының өзгеру тәсілдерін белгілейді.
   

• 
  Функцияның тағайындалуыалдынғы және жаңа қалып-күйлер айнымалылар арасындағы өзара байланыстарды анықтау.
  
• 
  Функция операция алгоритмінің орындалуына қандай да болмасын нақтылы ретті бермеуі.
  
• 
  Функция тиімділігі ұсақ іс-әрекеттерге бөлінбейді.
  
• 
  Функциялар қауіпсіздік қалып-күйін сақтауын қамтамасыз ететіні дәлелденеді.
  
• 
  Бастапқы қалып-күйді анықтау
  
• 
  Бастапқы қалып-күйі анықтама ретінде қауіпсіз деп беріледі
  

Егер жүйенің бастапқы қалып-күйі қауіпсіз болса, барлық келесі қалып-күйлерге өтулер қауіпсіз болса, онда жүйе толық қауіпсіз болады.