4.      Контрольные вопросы

Выберите правильные варианты ответа в тесте. В каждом вопросе только один верный вариант ответа.
1. Выберите обозначение BАN-логики означающее «Р однажды сказал Х»?

2. Выберите обозначение BАN-логики означающее «Р верит утверждению Х»?

3. Каким символом в BАN-логике обозначается свежесть утверждения?

4. Что означает в BАN-логике утверждение о том, что Х является свежим?

5. Выберите ошибочное утверждение, касающееся BАN-логики?

6. Какая формула доверия в терминах BАN-логики не относится к формулам, которые хочет получить исследователь симметричного протокола аутентификации в результате анализа протокола?

7. Какая формула доверия в терминах BАN-логики не относится к формулам, которые хочет получить исследователь симметричного протокола аутентификации в результате анализа протокола?

8. Какая формула доверия в терминах BАN-логики не относится к формулам, которые хочет получить исследователь асимметричного протокола аутентификации в результате анализа протокола?

9. Какая формула доверия в терминах BАN-логики относится к формулам, которые хочет получить исследователь асимметричного протокола аутентификации в результате анализа протокола?

10. Что означает записанная в терминах BАN-логики формула

11. Постулат, какого типа, был применен в формуле

12. Постулат, какого типа, был применен в формуле

13. Постулат, какого типа, был применен в формуле

14. Постулат, какого типа, был применен в формуле

15. Постулат, какого типа, был применен в формуле

16. Постулат, какого типа, был применен в формуле