Анализатор протоколов Янус


Добро пожаловать на сайт, посвящённый анализу протоколов информационного обмена!  

Мы предлагаем воспользоваться возможностями разработанного анализатора протоколов Янус

 

"Янус" – это анализатор моделей протоколов информационного обмена. Модели протоколов задаются в нотации расширенного SPI- исчисления, для анализа которых используется метод проверки типов (type checking) На данном сайте представлен пользовательский web- интерфейс для задания моделей протоколов и получения результатов анализа.



Этот сайт позволяет:
  • проверить модель защищённого протокола информационного обмена, записанного в расширенном SPI-исчислении (Проверить протокол);
  • ознакомиться с информацией о методе анализа протокола (Что такое Янус ?);
  • получить сведения о коллективе разработчиков Януса (О разработчиках);

Site Map | Printable View | Кафедра кибернетики НИЯУ МИФИ| Powered by mojoPortal