Верификация требований политик информационной безопасности в системах распределенных вычислений
- 1 ст. аналитик, ООО «НеоБИТ»
- 2 д.т.н., руководитель проекта, ООО «НеоБИТ»
Ключевые слова:
грид-системаинформационная безопасностьконтроль доступамодельполитика информационной безопасностисеть Петриверификация
Аннотация
Рассмотрена проблема обеспечения безопасности информационных и вычислительных ресурсов в системах распределенных вычислений, построенных на базе технологии грид. Проанализированы особенности грид-архитектуры. Построено модельное представление механизмов защиты грид-систем с использованием сетей Петри, описывающее распределение запросов пользователей и позволяющее верифицировать требования политик информационной безопасности.
Для цитирования
Коноплев А.С., Калинин М.О. Верификация требований политик информационной безопасности в системах распределенных вычислений // Системы высокой доступности. 2012. № 2. С. 63–67.
Список источников
- Foster I.,Kesselman C. The Grid: Blueprint for a New Computing Infrastructure (2nd Edition). Morgan Kaufmann. 2004.
- The Globus Security Team. Globus Toolkit Version 4 Grid Security Infrastructure: A Standards Perspective / The Globus Security Team, 2005. Интернет-ресурс: globus.org/toolkit/docs/4.0/security/GT4-GSI-Overview.pdf.
- Интернет-ресурс: www.unicore.eu.
- Sciaba A.,Burke S., Campana S., Lanciotti E., Litmaath M., Lorenzo P.M., Miccio V., Nater C., Santinelli R. Glite 3.2 User Guide - CERN. 2011. 142 p.
- Buyya R., Venugopal S. The Gridbus Toolkit for Service Oriented Grid and Utility Computing: An Overview and Status Report // 1st IEEE international workshop on Grid Economics and Business Models. Seoul. Korea. April 23. 2004. IEEE. 2004.
- Интернет-ресурс: boinc.berkeley.edu.
- Калинин М.О., Коноплев А.С., Марков Я.А. Контроль выполнения политик информационной безопасности в grid-системах // Материалы конф. «Информационная безопасность регионов России» (ИБРР-2011). СПб.: СПОИСУ. 2011.