UMLsec - Википедия - UMLsec

UMLsec является продолжением Единый язык моделирования для интеграции информации, связанной с безопасностью, в спецификации UML. Эта информация может использоваться для моделирования на основе техника безопасности. Большая часть информации о безопасности добавляется с использованием стереотипов и охватывает многие свойства безопасности, включая безопасный информационный поток, конфиденциальность и контроль доступа. Используя модель злоумышленника, эти свойства можно проверить на уровне модели.

Разработка

Впервые он был предложен Jürjens et al. в 2002^[1] и позже переработанный и расширенный тем же автором.^[2]

Определение профиля

UMLsec определяется как легкое расширение для UML.^[3]

Профиль определяется через набор прототипов со свойствами (определениями тегов) и ограничениями. UMLsec определяет 21 стереотип, перечисленный ниже.

Стереотип	Базовый класс	Теги	Описание
честный обмен	подсистема	старт, стоп, противник	обеспечить соблюдение принципа честного обмена при общении. То есть не допускать обмана сотрудничающих сторон.
доказуемо	подсистема	действие, сертификат, противник	предоставить доказательства деятельности для получения неотрекаемости.
rbac	подсистема	защищенный, роль, право	принуждать управление доступом на основе ролей.
Интернет	связь		Интернет-соединение. Предполагается, что злоумышленник по умолчанию может удалить, добавить и раскрыть содержимое сообщения.
зашифрованный	связь		смоделировать зашифрованное соединение. Предполагается, что злоумышленники по умолчанию могут удалить сообщение.
LAN	ссылка, узел		Подключение к локальной сети или сеть (узел) локальной сети. Предполагается, что на нее не воздействует внешний злоумышленник по умолчанию.
провод	связь		проводное соединение. Предполагается, что на него не воздействует внешний злоумышленник по умолчанию.
интеллектуальная карточка POS-устройство узел эмитента	узел		Узлы с различными механизмами защиты. Определения противников определяют, в какой степени эти узлы могут быть изменены. Предполагается, что на них не влияет внешний злоумышленник по умолчанию.
секретность честность высоко	зависимость		зависимость, указывающая на предположение о секретности и целостности, а также на высокий чувствительность .
критический	объект подсистема	секретность честность, подлинность, высокий, свежий	обозначить систему или объект как критический. Теги используются для определения того, в каком отношении система / объект является критичным.
безопасные ссылки	подсистема	противник	обеспечить безопасные каналы связи в рамках определенной модели противника.
безопасные зависимости	подсистема		убедитесь, что соблюдаются безопасные зависимости.
безопасность данных	подсистема	противник честность, подлинность	обеспечить соблюдение основных требований безопасности в соответствии с определенной моделью противника.
нет нисходящего потока, нет восходящего потока	подсистема		обеспечить безопасный поток информации.
охраняемый доступ	подсистема		обеспечить доступ к охраняемым объектам только через их охранников.
охраняемый	объект	сторожить	указать охраняемый объект доступ к которому можно получить только через объект, указанный в теге защиты.

Модель противника

Для обеспечения безопасности необходимо указать, какой злоумышленник предполагается. В UMLsec модель атакующего определяется угрозами, которые он создает. В таблице ниже определены дефолт противник. Конечно, могут быть определены и другие противники.

Стереотип	Угрозыдефолт()
Интернет	{удалить, прочитать, вставить}
зашифрованный	{Удалить}
LAN	∅
провод	∅
интеллектуальная карточка	∅
POS-устройство	∅
узел эмитента	∅

Рекомендации