Национальный цифровой ресурс Руконт - межотраслевая электронная библиотека (ЭБС) на базе технологии Контекстум (всего произведений: 611269)
Контекстум
Прикладная дискретная математика

Прикладная дискретная математика №1 2010

0   0
Страниц127
ID285135
АннотацияВ журнале публикуются результаты фундаментальных и прикладных научных исследований отечественных и зарубежных ученых, включая студентов и аспирантов, в области дискретной математики и её приложений в криптографии, компьютерной безопасности, кибернетике, информатике, программировании, теории надежности, интеллектуальных системах. Включен в Перечень ВАК.
Прикладная дискретная математика : Научный журнал .— Томск : Национальный исследовательский Томский государственный университет .— 2010 .— №1 .— 127 с. : ил. — URL: https://rucont.ru/efd/285135 (дата обращения: 13.05.2025)

Предпросмотр (выдержки из произведения)

Анализ в рамках базовой ролевой ДП-модели безопасности систем с простыми траекториями функционирования. <...> О возможности использования временных логик и верификаторов моделей в задаче обнаружения опасных отклонений системы . <...> Внедрение политик безопасности в компьютерные системы методом АОП на примере FTP-сервера Apache. <...> Алгоритмы работы с ROBDD как с базами булевых ограничений. <...> Минимальные реберные расширения некоторых предполных графов 105 Фомичев В.М. <...> Algorithms using ROBDD as a base for boolean constraints . <...> Ключевые слова: совершенно уравновешенные функции, барьеры булевых функций, фильтрующий генератор, криптография. <...> Соответствующее свойство реализуемой булевой функции (фильтрующей) было формализовано С. Н. Сумароковым в понятии совершенной уравновешенности, им же в [1] были получены первые утверждения о классе совершенно уравновешенных функций. <...> Исследование данного класса было продолжено в работе [2], в которой авторами было введено понятие барьера булевой функции, важное для изучения аспектов, связанных с использованием булевых функций в качестве фильтрующих, а также был доказан ряд утверждений о совершенно уравновешенных функциях с барьером. <...> 3.1 доказывается новый критерий совершенной уравновешенности функции, обосновывающий негативные криптографические качества совершенно уравновешенных булевых функций при использовании соответствующих им фильтров в ситуациях, когда на вход поступают отличные от истинно случайных последовательности—в част1Работа поддержана РФФИ (проект № 09-01-00653-а). <...> Булева функция f ∈ Fn имеет барьер, если она имеет правый или левый барьер, решений не имеет. <...> Пусть булева функция f ∈ Fn имеет правый барьер длины b < +∞. <...> Пусть f ∈ Fn имеет правый барьер длины b < +∞. <...> Пусть f ∈ Fn, f имеет правый барьер длины b < +∞. <...> Булевы функции в теории кодирования и криптологии. <...> : МЦНМО, 2004. f : Vn+b−1 →{0, 1, ∗}.  f(x1, y1, y2) = x2 x1 y1 y2 x2 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 0 1 * 1 * 1 0 <...>
Прикладная_дискретная_математика_№1_2010.pdf
ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ Научный журнал 2010 Свидетельство о регистрации: ПИ №ФС 77-33762 от 16 октября 2008 г. №1(7) ТОМСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ
Стр.1
РЕДАКЦИОННАЯ КОЛЛЕГИЯ ЖУРНАЛА «ПРИКЛАДНАЯ ДИСКРЕТНАЯ МАТЕМАТИКА» Агибалов Г.П., д-р техн. наук, проф. (председатель); Девянин П. Н., д-р техн. наук, проф. (зам. председателя); Парватов Н.Г., канд. физ.-мат. наук, доц. (зам. председателя); Черемушкин А. В., д-р физ.-мат. наук, проф. (зам. председателя); Панкратова И. А., канд. физ.-мат. наук, доц. (отв. секретарь); Алексеев В. Б., д-р физ.-мат. наук, проф.; Бандман О. Л., д-р техн. наук, проф.; Евдокимов А. А., канд. физ.-мат. наук, проф.; Евтушенко Н. В., д-р техн. наук, проф.; Закревский А. Д., д-р техн. наук, проф., чл.-корр. НАН Беларуси; Костюк Ю.Л., д-р техн. наук, проф.; Логачев О. А., канд. физ.-мат. наук, доц.; Матросова А.Ю., д-р техн. наук, проф.; Микони С. В., д-р техн. наук, проф.; Салий В. Н., канд. физ.-мат. наук, проф.; Сафонов К. В., д-р физ.мат. наук, проф.; Фомичев В. М., д-р физ.-мат. наук, проф.; Чеботарев А. Н., д-р техн. наук, проф.; Шоломов Л. А., д-р физ.-мат. наук, проф. Адрес редакции: 634050, г.Томск, пр. Ленина, 36 E-mail: vestnik_pdm@mail.tsu.ru В журнале публикуются результаты фундаментальных и прикладных научных исследований отечественных и зарубежных ученых, включая студентов и аспирантов, в области дискретной математики и её приложений в криптографии, компьютерной безопасности, кибернетике, информатике, программировании, теории надежности, интеллектуальных системах. Периодичность выхода журнала: 4 номера в год. ООО «Издательство научно-технической литературы» 634050, Томск, пл. Ново-Соборная, 1, тел. (3822) 533-335 Редактор Н. И. Шидловская Верстка Д. А. Стефанцова Формат 60×841 Изд. лиц. ИД. №04000 от 12.02.2001. Подписано к печати 15.03.2010. 8. Бумага офсетная. Печать офсетная. Гарнитура «Таймс». Усл. п. л. 13,4. Уч.-изд. л. 15. Тираж 300 экз. Заказ №14. Отпечатано в типографии «М-Принт», г.Томск, ул.Пролетарская, 38/1
Стр.2
СОДЕРЖАНИЕ ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ПРИКЛАДНОЙ ДИСКРЕТНОЙ МАТЕМАТИКИ Смышляев С. В. О криптографических слабостях некоторых классов преобразований двоичных последовательностей ......................................................... 5 МАТЕМАТИЧЕСКИЕ ОСНОВЫ КОМПЬЮТЕРНОЙ БЕЗОПАСНОСТИ Девянин П. Н. Анализ в рамках базовой ролевой ДП-модели безопасности систем с простыми траекториями функционирования........................................... 16 Прокопьев С. Е. О возможности использования временных логик и верификаторов моделей в задаче обнаружения опасных отклонений системы ...................... 37 Стефанцов Д. А., Филимонов А. Е. Внедрение политик безопасности в компьютерные системы методом АОП на примере FTP-сервера Apache...................... 43 ПРИКЛАДНАЯ ТЕОРИЯ АВТОМАТОВ Салий В. Н. Каркас автомата........................................................................ 63 Скобелев В. В., Скобелев В.Г. Анализ нелинейных автоматов с лагом 2 над конечным кольцом .................................................................................... 68 ВЫЧИСЛИТЕЛЬНЫЕ МЕТОДЫ В ДИСКРЕТНОЙ МАТЕМАТИКЕ Игнатьев А. С., Семенов А. А. Алгоритмы работы с ROBDD как с базами булевых ограничений................................................................................. 86 ПРИКЛАДНАЯ ТЕОРИЯ ГРАФОВ Абросимов М.Б. Минимальные реберные расширения некоторых предполных графов 105 Фомичев В.М. Свойства путей в графах и мультиграфах .................................... 118 СВЕДЕНИЯ ОБ АВТОРАХ ............................................................................ 125 АННОТАЦИИ СТАТЕЙ НА АНГЛИЙСКОМ ЯЗЫКЕ .......................................... 126
Стр.3