Курс лекций Защита Информации/Язык описания политики безопасности: различия между версиями
Содержимое удалено Содержимое добавлено
Lex1026 (обсуждение | вклад) |
Lex1026 (обсуждение | вклад) |
||
Строка 46:
== Алфавит языка описания политик безопасности ==
Алфавит языка описания политик безопасности состоит из предикатов.
<blockquote>Предикат <math>P</math> — выражение, которое зависит от некоторых параметров и может быть истино или ложно. <center><math>~P(a,b) \rightarrow \overline{0,1}</math></center></blockquote>
=== Предикат ошибок в спецификации и авторизации ===
| |||