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

№ 1(7)

2010

НАЧАЛО

СОДЕРЖАНИЕ

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

Смышляев С.В.О криптографических слабостях некоторых классов преобразований двоичных последовательностей5

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

Девянин П.Н.Анализ в рамках базовой ролевой ДП-модели безопасности систем с простыми траекториями функционирования16
Прокопьев С.Е.О возможностях использования временных логик и верификаторов моделей в задаче обнаружения опасных отклонений системы37
Стефанцов Д.А.,
Филимонов А.Е.		Внедрение политик безопасности в компьютерные системы методом АОП на примере FTP-сервера Apache43

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

Салий В.Н.Каркас автомата63
Скобелев В.В.,
Скобелев В.Г.		Анализ нелинейных автоматов с лагом 2 над конечным кольцом68

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

Игнатьев А.С.,
Семенов А.А.		Алгоритмы работы с ROBDD как с базами булевых ограничений86

ПРИКЛАДНАЯ ТЕОРИЯ ГРАФОВ

Абросимов М.Б.Минимальные реберные расширения некоторых предполных графов105
Фомичев В.М.Свойства путей в графах и мультиграфах118
СВЕДЕНИЯ ОБ АВТОРАХ125
АННОТАЦИИ СТАТЕЙ НА АНГЛИЙСКОМ ЯЗЫКЕ126
__________________
   Технический исполнитель:
   Н.Н. Светличная
© Научная библиотека ТГУ
     http://www.lib.tsu.ru