Аналитический обзор докладов Международной конференции «Математические модели, методы и архитектуры для защиты компьютерных сетей» (MMM-ACNS-2010)

Аннотация

В статье приводится аналитический обзор докладов ведущих зарубежных и отечественных специалистов в области обеспечения безопасности компьютерных сетей, сделанных на Международной конференции «Математические модели, методы и архитектуры для защиты компьютерных сетей» (MMM-ACNS-2010), проходившей в Санкт-Петербурге 8–10 сентября 2010 г. С докладами выступили такие известные в мире ученые, как Э. Дебар, Д. Гольманн, Г. Моррисетт, Б. Пренель, Р. Сандху и А. Сабельфельд. На секциях конференции были рассмотрены актуальные вопросы, связанные с моделированием безопасности и скрытых каналов, политиками безопасности и формальным анализом свойств безопасности, аутентификацией, авторизацией, управлением доступом и криптографией с открытым ключом, обнаружением вторжений и вредоносных программ, безопасностью многоагентных систем и защитой программного обеспечения, адаптивной защитой информации, живучестью компьютерных сетей и виртуализацией.

Abstract

The paper provides an analytical review of talks by leading foreign and domestic experts in the security of computer networks, presented at the International Conference «Mathematical Methods, Models and Architectures for Computer Networks Security» (MMM-ACNS-2010), held in St. Petersburg from 8 to 10 September, 2010. World-known scientists, such as E. Debar, D. Golmann, G. Morrisett, B. Prenel, R. Sandhu, and A. Sabelfeld, made invited talks. On sections of the conference there were discussed topical issues related to the modeling of security and covert channels, security policies and formal analysis of security properties, authentication, authorization, access control and public key cryptography, intrusion detection, malicious software, security of multi-agent systems and software protection, adaptive information security, survivability of computer networks and virtualization.