Я начинаю изучать Scyther, и в их папке есть несколько упражнений, которые я пытаюсь решить. Любые идеи, где найти эти решения. Это то, что я пытался решить Упражнение 5
Здесь мы напоминаем неофициальное описание протокола Яхалома.Цель этого протокола - обмен новым новым симметричным ключом между двумя принципалами с помощью сервера.
- I - → R: I, NI
- R- → S: R, {I, NI, NR} k (R, S)
- S - → I: {R, ключ сеанса, NI, NR} k (I, S), {I, ключ сеанса} k (R, S)
- I - → R: {I, сеансовый ключ} k (R, S), {NR} сеансовый ключ
Обратите внимание, что агенты должныбыть в состоянии расшифровать сообщения, которые они получают.Если это невозможно, такие сообщения часто называют «билетами» и записываются в переменные типа Ticket (предопределенный тип в Scyther).Для ключей сеанса введите пользовательский тип в Scyther, который глобально объявлен как usertype SessionKey ;.a) Смоделируйте протокол, включая требования секретности и аутентификации в Scyther.б) Проверьте утверждения протокола с помощью инструмента и интерпретируйте полученные результаты.
Решение, которое я пробовал:
Код решения
Может кто-нибудь помочь мне в упражнениях или если у них есть решение применить их
Спасибо