Формална сигурност

един сигурност

2 сигурност

3 сигурност

4 сигурност

пет лоша сигурност

6 сигурност (в системата)

  1. системна сигурност

сигурност (в системата)
Ситуацията, когато има точна информация за възможните състояния на системата в случай на вземане на определени решения (концепцията, противоположна на несигурността). Следователно такава система е детерминирана.
[http://slovar-lopatnikov.ru/]

  • системна сигурност

7 официална организация

  1. организация формална

официална организация
Група хора, чиито дейности са умишлено координирани за постигане на обща цел или цели.
[http://tourlib.net/books_men/meskon_glossary.htm]

  • общо управление
  • организация формална

8 официална група

  1. официална група

официална група
Група, специално формирана от ръководството чрез организационен процес. Целта му обикновено е да изпълни определена задача.
[http://tourlib.net/books_men/meskon_glossary.htm]

  • общо управление
  • официална група

девет формална логика

  1. формална логика
  • телекомуникации, основни понятия
  • формална логика

десет официален модел на политиката за сигурност

  1. официален модел на политиката за сигурност

официален модел на политиката за сигурност
Математически строго описание на политиката за сигурност. Това предполага описание на началното състояние на системата, как системата преминава от едно състояние в друго, както и дефиницията на безопасно състояние. За да бъде приет като основа на TCB, моделът трябва да съдържа официални доказателства за следното: първоначалното състояние на системата е безопасно; ако са изпълнени всички условия за безопасност, определени от модела, тогава всички следващи състояния на системата също ще бъдат безопасни.