Home
Accepted papers
Call for papers
Call for papers RUS
SA&PS4CS-2010
Announcements
About MMM-ACNS
Topics
Important Dates
Sponsors
Information sponsors
Organizers
Committee
Invited Speakers
Publication
Submitting a paper
Programme
Programme RUS
Conference Languages
Registration
Registration RUS
Photos
Transport
Accommodation
Visa Application
Conference Venue
International Air Travel
Saint-Petersburg
Email Chair



Locations of visitors to this page



Программа MMM-ACNS 2010

Дата Мероприятия

7 сентября 2010 г.
Вторник

16:00-19:00 Регистрация (на месте проведения конференции)
   


Дата Мероприятия

8 сентября 2010 г.
Среда

Конференция MMM-ACNS-2010

8:30 - 16:00 Регистрация
9:00 - 9:20 Открытие конференции (Рафаэль Юсупов, Роберт Герклотц, Виктор Скормин, Игорь Котенко)
9:20 - 10:10 Приглашенный доклад
Ведущий секции: Виктор Скормин (США)
Дитер Гольманн (Германия)
Безопасные приложения без безопасных инфраструктур
10:10 - 10:35 Кофе-брейк
10:35 - 11:25 Приглашенный доклад
Ведущий секции: Игорь Котенко (Российская Федерация)
Грег Моррисетт (США)
Интеграция типов и спецификаций для разработки безопасного программного обеспечения
11:25 - 13:10 Секция 1. Моделирование безопасности и скрытые каналы
Ведущий секции: Дитер Гольманн (Германия)
11:25 - 11:55 Людовик Питр-Камбаседес, Марк Боуиссоу (Франция).
Динамическое моделирование атак и защиты на основе BDMP
11:55 - 12:25 Видиараман Санкаранарайанан, Шамбу Упадхуайа, Кевин Квиат (США).
QoS-T: Регулирование качества услуг для выявления кооперации пользователей в компьютерных системах
12:25 - 12:55 Леонид Домнитсер, Наэл Абу-Газалех, Дмитрий Пономарев (США).
Прогнозирующая модель для побочных кэш-каналов в многослойных и многопоточных микропроцессорах
12:55 - 13:10 Александр Грушо, Николай Грушо, Елена Тимонина (Российская Федерация).
Проблемы моделирования при анализе скрытых каналов
13:15 - 14:45 Обед
14:45 - 16:15 Секция 2. Политики безопасности и формальный анализ свойств безопасности
Ведущий секции: Грег Моррисетт (США)
14:45 - 15:15 Рафаэл Хоури, Надя Тауби (Канада).
Использование отношений эквивалентности для корректирующего применения политик безопасности
15:15 - 15:45 Шиу-Кай Чин, Сара Маккайо, Сьюзен Олдер, Томас Вестал (США).
Основанное на политике проектирование и верификация обеспечения выполнения миссии
15:45 - 16:15 Деврим Унал, Озан Акар, М. Уфук Каглайан (Турция).
Проверка на модели спецификаций политики безопасности, базирующейся на местоположения и мобильности в исчислении о внешнем окружении
16:15 - 16:40 Кофе-брейк
16:40 - 17:40 Обзорная экскурсия в здании "Дворец Великого Князя Владимира Романова"
18:00 - 20:00 Фуршет
   


Дата Мероприятия

9 сентября 2010 г.
Четверг

Конференция MMM-ACNS-2010

9:00 - 16:00 Регистрация
9:20 - 10:10 Приглашенный доклад
Ведущий секции: Шиу-Кай Чин (США)
Андрей Сабельфельд (Швеция)
Безопасность Веб-приложений: от фундаментальных проблем к практическим решениям
10:10 -10:35 Кофе-брейк
10:35 - 11:25 Приглашенный доклад
Ведущий секции: Игорь Котенко (Российская Федерация)
Эрвэ Дебар, Низар Кхеир, Нора Куппенс-Боулахиа, Фредерик Куппенс (Франция)
Зависимости сервисов при обеспечении безопасности информационных систем
11:25 - 13:10 Секция 3. Аутентификация, авторизация и управление доступом
Ведущий секции: Андрей Сабельфельд (Швеция)
11:25 - 11:55 Гленн Бенсон, Шиу-Кай Чин, Шон Кростон, Картик Йауараман, Сьюзен Олдер (США).
Управление сертификатами для значимых транзакций
11:55 - 12:25 Кржиштоф Саша (Польша).
Обнаружение цепочек сертификатов с использованием языка управления доверием RTT
12:25 - 12:55 Дмитрий Молдовян, Николай Молдовян (Российская Федерация).
Новая сложная задача по некоммутативным конечным группам
12:55 - 13:10 Игорь Саенко, Игорь Котенко (Российская Федерация).
Генетическая оптимизация схем управления доступом в виртуальных локальных сетях
13:15 - 14:45 Обед
14:45 - 16:15 Секция 4. Обнаружение вторжений и вредоносного программного обеспечения
Ведущий секции: Эрвэ Дебар (Франция)
14:45 - 15:15 Хосе Моралес, Эрхан Карталтепе, Шоухуэй Ксу, Рави Сандху (США).
Основанное на симптомах обнаружение бот-процессов
15:15 - 15:45 Питер Теуфл, Удо Пейер, Гуентер Лакнер (Австрия).
От NLP (обработки естественного языка) к MLP (обработке машинного языка)
15:45 - 16:15 Максим Калинин, Ярослав Марков (Российская Федерация).
Интеллектуальное обнаружение вторжений на основе методов выравнивания последовательностей
16:15 - 16:45 Хаи Нгуен, Слободан Петрович, Катрин Франке (Норвегия).
Сравнение методов выделения признаков для обнаружения вторжений
16:50 - 17:15 Кофе-брейк
17:15 - 19:45 Обзорная экскурсия по городу
20:00 - 23:00 Товарищеский ужин
   


Дата Мероприятия

10 сентября 2010 г.
Пятница

Конференция MMM-ACNS-2010

9:30 - 13:00 Регистрация
9:50 - 10:40 Приглашенный доклад
Ведущий секции: Игорь Котенко (Российская Федерация)
Рави Сандху, Рам Кришнан, Джианвей Ниу, Уильям Винсборо (США)
Основанные на группах модели для безопасного и гибкого совместного использования информации
10:40 - 11:05 Кофе-брейк
11:05 - 11:55 Приглашенный доклад
Ведущий секции: Николай Молдовян (Российская Федерация)
Барт Пренель (Бельгия)
Криптография для сетевой безопасности: Неудачи, успехи и перспективы
11:55 - 13:10 Секция 5. Безопасность многоагентных систем и защита программного обеспечения
Ведущий секции: Александр Грушо (Российская Федерация)
11:55 - 12:25 Антонио Муньоз, Антонио Мана, Пабло Антон (Испания).
Для защиты агентов: решение, основанное на криптографических аппаратных средствах
12:25 - 12:55 Штефан Краксбергер, Питер Даннер, Дэниел Хеин (Австрия).
Защищенная многоагентная система для многоскачковых сред
12:55 - 13:10 Василий Десницкий, Игорь Котенко (Российская Федерация).
Защищенность и масшабируемость защиты на основе удаленного доверия
13:15 - 14:45 Обед
14:45 - 15:45 Секция 6. Адаптивная защита информации, живучесть компьютерных сетей и виртуализация
Ведущий секции: Антонио Мана (Испания)
14:45 - 15:15 Войцех Молич, Ясек Рак (Польша).
Новый генетический подход для обеспечения дифференцированных уровней стойкости услуг в сетях IP-MPLS/WDM
15:15 - 15:30 Дмитрий Зегжда, Петр Зегжда, Максим Калинин (Российская Федерация).
Контроль целостности в доверенной информационной среде
15:30 - 15:45 Роланд Рике, Захарина Стоянова (Германия).
Прогнозирующий анализ безопасности для событийно-управляемых процессов
15:45 - 16:00 Дмитрий Зегжда, Екатерина Рудина (Российская Федерация).
Моделирование безопасности виртуальной среды
16:00 - 17:30 Круглый стол "Новые тенденции и вызовы в защите компьютерных сетей"
Ведущий круглого стола: Шиу-Кай Чин (США)
Участники круглого стола: Эрвэ Дебар, Дитер Гольманн, Александр Грушо, Антонио Мана, Грег Моррисетт, Барт Пренель, Рави Сандху
17:30 - 17:40 Закрытие конференции
17:40 - 18:20 Кофе-брейк, Прощальный фуршет
   

Powered by OpenConf ®
Copyright ©2002-2010 Zakon Group LLC , All rights reserved.
In case of any problems, please contact the webmaster.