Документ взят из кэша поисковой машины. Адрес оригинального документа : http://suny.msu.ru/ru/ProgramMaBIT04Ru.doc Дата изменения: Tue Aug 24 11:43:07 2010 Дата индексирования: Mon Oct 1 19:45:01 2012 Кодировка: koi8-r

К 250-летнему юбилею Московского университета
_____________________________________________

Московский государственный университет
им. М.В. Ломоносова

Академия криптографии Российской Федерации

Институт проблем информационной безопасности МГУ





Программа




Третья Общероссийская Конференция


«Математика и безопасность информационных технологий» (МаБИТ-04)

28-29 октября 2004 г.,
Москва, Ленинские горы, МГУ им. М. В. Ломоносова



















Сопредседатели конференции
1. Садовничий В.А. - ректор МГУ;
2. Шерстюк В.П. - директор ИПИБ МГУ;
3. Андреев Н.Н. - президент АК РФ.

Оргкомитет конференции
1. Ященко В.В. - сопредседатель, зам. директора ИПИБ МГУ;
2. Сачков В.Н. - сопредседатель, вице-президент АК РФ.

Руководители секций конференции
1. Васенин В.А. - зав. отделом ИПИБ МГУ, руководитель секции
«Информационная безопасность компьютерных систем»;
2. Логачев О.А. - зав. отделом ИПИБ МГУ, руководитель секции
«Математические проблемы информационной безопасности».

Секретариат конференции
1. Шаряпов Р.А. - отв. секретарь оргкомитета;
2. Солодовников В.И.
3. Анохин М.И.












Четверг, 28 октября 2004 г.

Пленарные заседания

(ауд. П-10 II учебного корпуса МГУ).
09.15.-10.00.
Регистрация участников: северное фойе II учебного корпуса МГУ.

10.00.-10.20.
Приветственное выступление ректора МГУ им. М.В.Ломоносова академика РАН
В.А.Садовничего.

Приветственное выступление вице-канцлера Университета штата Нью-Йорк (SUNY)
д-ра Елизаветы Д. Капальди (Elizabeth D. Capaldi).

10.20.-13.30. Пленарные доклады.
Общий регламент для докладчиков - до 40 мин.

1. Погорелов Б.А., Сачков В.Н., Ященко В.В.
О терминологической базе современной криптографии.
2. Глухов М.М., Погорелов Б.А.
Криптографические приложения теории конечных групп.

11.40.-12.00. Перерыв.

3. Васенин В.А., Галатенко А.В..
Математические модели гарантированно защищённых распределённых
систем.
4. Варновский Н.П., Голубев Е.А., Логачёв О.А.
Современные направления стеганографии.

13.30.-15.00. Обед.

15.00.-17.30. Пленарные доклады.
Общий регламент для докладчиков - до 40 мин.

5. Васенин В.А., Галатенко А.В., Корнеев В.В., Макаров А.А.
Математическое и программное обеспечение активного аудита больших
распределённых систем.
6. Варновский Н.П., Захаров В.А., Кузюрин Н.Н.
Математические проблемы обфускации.
7. Scott D. Stoller, Yanhong A.Liu (SUNY).
Security Policy Languages and Enforcement.
8. Tzi-cker Chiueh (SUNY).
Program Semantic - Aware Intrusion Defection.
Пятница, 29 октября 2004 г.

Секционные заседания
(II учебный корпус МГУ).

Секция «Математические проблемы информационной безопасности».
Ауд. 685 II учебного корпуса МГУ.
09.30.-17.25.
Руководитель секции - О.А. Логачев, зав. отделом ИПИБ МГУ.

09.30--10.00. Варновский Н. П., Голубев Е. А., Логачёв О. А. Статистическое
описание звукового стегоконтейнера.

10.00--10.25. Анашин В. С. О поточных шифраторах с динамически изменяющимся
законом шифрования.

10.25--10.40. Пудовкина М. А. Об алгоритме поточного шифрования VR.

10.40--10.55. Кутырева Е. В. О числе ненулевых элементов треугольника
Паскаля над конечным полем.

10.55--11.20. Таранников Ю. В. О значениях аффинного ранга носителя
платовидных функций.
11.20.-11.35. Перерыв.

11.35.-11.55. Покровский А. В., Никифоров М. С. О свойствах аффинных и
квадратичных аннуляторов булевых функций.

11.55.-12.15. Харин Ю. С., Ярмола А. Н. Дискретные временные ряды с
"длинной памятью'' и их использование в задачах защиты информации.

12.15--12.35. Ботев А. А. Об алгебраической иммунности рекурсивных
конструкций нелинейных фильтров.

12.35--12.50. Рябко Б. Я., Монарев В. А., Шокин Ю. К. Новый класс
статистических тестов для случайных чисел и его применение в задачах
криптографии.

12.50--13.05. Виланский Ю. В. Криптографический примитив MV2.

13.05--13.20. Панков К. Н. Асимптотическая формула для числа (n,m,k)-
устойчивых функций.

13.20--13.35. Козлитин О. А. Теоретико-групповая характеризация
неавтономных линейных регистров сдвига над свободным модулем.

13.35-15.00. Обед.

15.00.-15.25. Логачёв О. А., Сальников А. А., Ященко В. В. Многогранники в
конечной абелевой группе и их криптографические приложения.

15.25.-15.50. Фомичёв В. М. О распознавании признаков в конечных группах.

15.50.-16.15. Нестеренко А. Ю. YAQS --- еще один алгоритм квадратичного
решета.

16.15.-16.40. Черепнёв М. А. О величине простых делителей чисел вида
р - 1.

16.40.-16.55. Саранцев А. В. Регулярные системы однотипных двоичных
функций.

16.55.-17.10. Ростовцев А. Г. Защита от side channel attack на основе
случайных изоморфизмов.

17.10.-17.25. Никонов Н. В. О классификации обобщенных запретов всех
булевых функций от 3-х переменных.

Стендовые доклады:

Бабаш А. В. О нахождении минимальных систем областей импримитивности.

Бабаш А. В. Сильно приведенные автоматы.

Беляков П. А., Никонов В. Г. Синтез латинских квадратов с помощью полиномов
двух переменных над кольцом Z 2к.

Буряков М. А., Логачёв О. А. О некоторых свойствах уровня аффинности
комбинирующих булевых функций.


Куропаткин Д. А. О фрагментах наборов чисел, полученных приведением по
модулю два перестановок с ограниченным числом инверсий.

Лапшин А. В. Задачи нахождения оценок параметров распределения слагаемого
по наблюдениям суммы случайных величин на конечной абелевой группе.

Мищенко В. А. Многоканальные криптографические системы и их применение.

Сидельников В. М. О построении дизъюнктных (superimposed) кодов и их
использовании в криптографии.



Секция «Информационная безопасность компьютерных систем».
09.00.-17.45.
Ауд. П-10 II учебного корпуса МГУ.
Руководитель секции - В.А. Васенин, зав. отделом ИПИБ МГУ.

Общий регламент для докладчиков: до 20 мин. - доклад, до 5 мин -
обсуждение.
09.00.-11.05.
1. Грушо А.А., Тимонина Е.Е. (РГГУ/МГУ им. М. В. Ломоносова) "Враждебные
многоагентные системы".

2. Котенко И. В. (СПб ИИА РАН) "Многоагентные модели противоборства
злоумышленников и систем защиты в сети Интернет".

3. Грушо А. А., Тимонина Е. Е. (РГГУ/МГУ им. М. В. Ломоносова)
"Математическая модель безопасного взаимодействия в распределенных
системах".

4. Тишков А. В., Котенко И. В. (СПб ИИА РАН) "Исчисление событий для
спецификации и верификации политик безопасности защищенной вычислительной
сети".

5. E. Rich (SUNY, USA) "An emerging perspective on the dynamics of insider
cyber threats".
11.05.-11.20. Перерыв.

11.20-13.00.
6. Бетелин В.Б., Бобков С.Г., Галатенко В.А., Годунов А.Н.,
Грюнталь А.И., Кушниренко А .Г., Осипенко П. Н. (НИИСИ РАН) "Анализ
тенденций развития аппаратно-программного обеспечения и их влияние на
информационную безопасность".
7. Заборовский В. С., Шеманин Ю. А (СПб ГТУ/ЦНИИ РТК) "Архитектура
распределенных сетевых процессоров: особенности применения в системах
информационной безопасности".

8. Казарин О. В. (АНДЭК) "Три гипотезы в защите программ".

9. H. G. Berg (SUNY, USA) "A teaching Hospital Approach to identifying
risks, research problems and teaching materials in information security".

13.00-14.00. Обед

14.00-15.45

10. Зегжда Д. П., Вовк А. М. (СПб ГТУ) "Защищенная гибридная ОС Linux over
Феникс".

11. Попков В.К, Соколова О. Д., Юргенсон А. Н. (ИВМ и МГ СО РАН) "О
некоторых задачах анализа устойчивости работы информационных сетей".

12. Родионов А.С., Родионова О.К., Мигов Д.А.,Мурзин М.Ю. (ИВМ и МГ СО РАН)
"Метод ветвления для точного расчета вероятности связности сети".

13. Платонов В.В. (СПб ГТУ) "Архитектура системы предотвращения вторжений".

15.45-16.00. Перерыв.

16.00-17.45

14. Пучков Ф. М., Шапченко К. А. (МГУ им. М. В. Ломоносова) "К вопросу о
выявлении возможных переполнений буферов посредством статистического
анализа исходного кода программ".

15. Корт С. С. (СПб ГТУ) "Операционный анализ безопасности поведения
программного обеспечения".
16. Андреев О. О. (МГУ им. М. В. Ломоносова) "Сравнение ролевой и
дискреционной моделей разграничения доступа".

17. Ахманов С. А., Надежкин Д. А., Раевский Д. А. (МГУ им. М. В.
Ломоносова) "Дополнительные механизмы обеспечения безопасности в ядре ОС
Linux: фильтр системных вызовов, протоколирование системных вызовов,
квотирование ресурсов на уровне пользователя".