ПРИКЛАДНАЯ ДИСКРЕТНАЯ МАТЕМАТИКА

№ 3(1)

2009

НАЧАЛО

СОДЕРЖАНИЕ

ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ПРИКЛАДНОЙ ДИСКРЕТНОЙ МАТЕМАТИКИ

Закревский А.Д.,
Торопов Н.Р.		Минимизация булевых функций многих переменных в классе ДНФ - итеративный метод и программная реализация5
Токарева Н.Н.Бент-функции: результаты и приложения. Обзор работ15
Шоломов Л.А.Логические методы построения и анализа моделей выбора38

ВЫЧИСЛИТЕЛЬНЫЕ МЕТОДЫ В ДИСКРЕТНОЙ МАТЕМАТИКЕ

Дулькейт В.И.,
Файзуллин Р.Т.		Приближенное решение задачи коммивояжера методом рекурсивного построения вспомогательной кривой72

МАТЕМАТИЧЕСКИЕ ОСНОВЫ КРИПТОГРАФИИ

Прокопьев С.Е.Поиск упрощенной модели протоколов инфраструктуры цифровой подписи с использованием верификаторов моделей79

МАТЕМАТИЧЕСКИЕ ОСНОВЫ КОМПЬЮТЕРНОЙ БЕЗОПАСНОСТИ

Буренин П. В.Подходы к построению ДП-модели файловых систем93
Колегов Д. Н.Об использовании формальных моделей для анализа уязвимостей113
Колегов Д. Н.Анализ безопасности информационных потоков по памяти в компьютерных системах с функционально и параметрически ассоциированными сущностями117
СВЕДЕНИЯ ОБ АВТОРАХ126
АННОТАЦИИ СТАТЕЙ НА АНГЛИЙСКОМ ЯЗЫКЕ127
__________________
   Технический исполнитель:
   Н.Н. Светличная
© Научная библиотека ТГУ
     http://www.lib.tsu.ru