Не все известные системе статьи и публикации вынесены в разделы каталога.
Вы можете найти другие интересующие Вас материалы (в том числе авторефераты и диссертации), используя поиск.
Дружинин Е.л., Самохин А.м., Чернышов Ю.а., Жданова М.с
- Научная сессия МИФИ-2003. Т.10 Телекоммуникации и новые информационные технологии в образовании , 2003
...
Дружинин Е.л., Самохин А.м., Чернышов Ю.а., Жданова М.с Анализ сетевого трафика и политика безопасности сети // Научная сессия МИФИ-2003. Т.10 Телекоммуникации и новые информационные технологии в образовании, стр. 55-56
Левина Е.в., Михайлов А.с.
- Научная сессия МИФИ-2004. Т.2 Технологии разработки программных систем. Информационные технологии , 2004
...
Левина Е.в., Михайлов А.с. Анализ протокола Нидхема-Шредера с использованием ИКАМ // Научная сессия МИФИ-2004. Т.2 Технологии разработки программных систем. Информационные технологии, стр. 86-87
Бородакий В.ю., Окороченко Г.е.
- Научная сессия МИФИ-2007. Т.12 Информатика и процессы управления. Компьютерные системы и технологии , 2007
С целью выбора средств исследования распределённых информационных систем (ИС) проведён обзор пакетов имитационного моделирования, выявлены их достоинства и недостатки. Сформулирован подход к созданию средства моделирования, позволяющего эффективно решать поставленные задачи исследования....
С целью выбора средств исследования распределённых информационных систем (ИС) проведён обзор пакетов имитационного моделирования, выявлены их достоинства и недостатки. Сформулирован подход к созданию средства моделирования, позволяющего эффективно решать поставленные задачи исследования. Бородакий В.ю., Окороченко Г.е. Анализ средств имитационного моделирования распределённых информационных систем // Научная сессия МИФИ-2007. Т.12 Информатика и процессы управления. Компьютерные системы и технологии, стр. 129-131
Бурмистров Г.в.
- Научная сессия МИФИ-2007. XIV Всероссийская научная конференция. Проблемы информационной безопасности в системе высшей школы , 2007
Рассматриваются существующие методы верификации свойств безопасности протоколов. Определяются области применимости для классов методов....
Рассматриваются существующие методы верификации свойств безопасности протоколов. Определяются области применимости для классов методов. Бурмистров Г.в. Анализ современных методов верификации свойств безопасности протоколов // Научная сессия МИФИ-2007. XIV Всероссийская научная конференция. Проблемы информационной безопасности в системе высшей школы, стр. 37-38