Постулаты BAN-логики
Постулаты BAN-логикиАнализ протоколов
Описание протокола аутентификации
Идеализация протокола
Предположения
Формальный анализ протокола
Выводы
Cамоучитель по VB.NET
ВведениеСреда программирования VB .NET: Visual Studio .NET
Выражения, операторы и передача управления
Классы и объекты
Наследование и интерфейсы
Обработка событий и делегаты
Обработка ошибок в VB .NET
Формы Windows, графический вывод и печать
Многопоточные приложения
Поддержка баз-данных в VB .NET
Краткий обзор ASP .NET
Сборки .NET, установка приложений и COM Interop
Работа с Norton Utilities 2002
Содержание раздела