шифрования используются такие алгоритмы, как RSA и др. (в частности алгоритм Диффи-Хеллмана). Допустимыми алгоритмами симметричного шифрования являются RC2, RC4, DES. Набор этих алгоритмов является расширяемым. Протокол является признанным неофициальным стандартом и, по сути, вытеснил конкурирующие высокоуровневые протоколы, такие как протокол SHTTP. Он не получил статуса официального, хотя и был предложен в качестве официального стандарта Internet.
Клиентская часть SSL реализована во всех популярных WEB-навигаторах, в том числе в Internet Explorer, а серверная – в большинстве WWW-серверов.
Протокол предусматривает два этапа взаимодействия клиента и сервера:
1) установление SSL-сессии и 2) защищенное взаимодействие.
На первом этапе реализуется процедура рукопожатия, предшествующая непосредственной защите информационного обмена, при этом решаются такие задачи, как: аутентификация сторон; согласование криптографических алгоритмов и алгоритмов сжатия, которые будут использоваться в информационном обмене; формирование общего секретного мастер – ключа; генерация на основе мастер – ключа общих секретных сеансовых ключей для криптозащиты информационного обмена. Для аутентификации и формирования общих секретных ключей чаще всего используют алгоритм RSA. Однозначное и достоверное соответствие между открытыми ключами и их владельцами устанавливается с помощью цифровых сертификатов, выдаваемых специальными Центрами Сертификации. Такой сертификат включает имя центра, имя владельца, открытый ключ владельца, период действия сертификата, идентификатор и параметры криптоалгоритма, который должен
256
использоваться при обработке сертификата, цифровую подпись центра сертификации, заверяющую данные сертификата. Центр сертификации исполняет роль нотариуса.
В процессе защищенного взаимодействия с установленными криптографическими параметрами SSLсессии выполняются следующие действия:
1)каждая сторона формирует так называемый код для проверки целостности сообщения (МАС-код) и затем зашифровывает исходное сообщение вместе с МАС-кодом по сеансовому секретному ключу;
2)приемная сторона расшифровывает сообщение и проверяет на целостность (вычисляется текущий МАС-код
исверяется с МАС-кодом проверки целостности, полученным вместе с сообщением), в случае нарушения целостности SSL-сессия закрывается.
257
9. ФОРМАЛЬНЫЕ МОДЕЛИ ОБЕСПЕЧЕНИЯ ЦЕЛОСТНОСТИ ДАННЫХ И РАЗГРАНИЧЕНИЯ ДОСТУПА В ИНФОРМАЦИОННОТЕЛЕКОММУНИКАЦИОННЫХ СИСТЕМАХ
В данном разделе рассматриваются основные формальные модели контроля целостности и разграничения доступа к информации, которые дают представление о тех механизмах, которые, как правило, закладываются в системы защиты информации, связанные с обеспечением целостности данных или разграничением доступа к информации, направленные на исключение возможности или снижение вероятности несанкционированных действий.
Понятие целостности данных в научной литературе определяется несколькими способами, описанию и сравнению которых посвящены отдельные научные статьи. Одна из наиболее распространенных трактовок подразумевает под целостностью данных отсутствие ненадлежащих из-
менений. Смысл понятия "ненадлежащее изменение" раскрывается Д.Кларком и Д. Вилсоном: ни одному пользова-
телю АС, в том числе и авторизованному, не должны быть разрешены такие изменения данных, которые повлекут за собой их разрушение или потерю. В соотвествии с Кларком и Вилсоном при рассмотрении вопроса целостности часто используют интегрированный подход, включающий в себя 9 абстрактных теоретических принципов, а именно:
корректность транзакций; аутентификация пользователей; минимизация привилегий;
разграничение функциональных обязанностей; аудит произошедших событий;
258
объективный контроль; управление передачей привилегий;
обеспечение непрерывной работоспособности; простота использования защитных механизмов.
Корректность транзакций состоит в том, что пользователь не должен модифицировать данные произвольным образом, а только определенными способами, так, чтобы сохранить целостность данных. Предполагается, что корректность каждой из таких транзакций может быть некоторым способом доказана.
Принцип аутентификация пользователей заклю-
чается в том, что к модификации данных допускаются только аутентифицированные пользователи (подлинность прав которых на изменение данных проверена).
Принцип минимизации привилегий накладывает ограничения на возможности процессов и пользователей и подразумевает, что процессы или пользователи должны быть наделены теми т только теми привилегиями, которые естественно и минимально необходимы. Излишние полномочия создают излишние возможности для модификации данных и нарушения их целостности.
Принцип разграничения функциональных обя-
занностей подразумевает организацию работ с данными только таким образом, что в каждой из ключевых стадий, составляющих единый критически важный с точки зрения целостности данных процесс, необходимо участие различных пользователей. Этим гарантируется, что один пользователь не может выполнить весь процесс целиком (или даже две его стадии).ь Этот принцип распространяется и на программы и на пользователей. Однако реально он применяется в основном для программного обеспечения.
259
Принцип аудита произошедших событий является превентивной мерой против потенциальных нарушителей, так как направлен на восстановление полной картины происшедшего. Его реализация позволяет выявить нарушителя.
Принцип объективного контроля является одним из краеугольных камней политики контроля целостности. Смысл его в том, что он подчеркивает, что контроль целостности состоятелен лишь тогда, когда данные отражают реальное положение дел.
Принцип управления передачей привилегий обеспечивает эффективность политики безопасности, так как если схема назначения привилегий неадекватно отражает организационную структуру предприятия или не позволяет администраторам гибко манипулировать ею, защита становится тяжким бременем и провоцирует попытки обойти ее там, где она мешает нормальной работе.
Снекоторыми оговорками в научной литературе
воснову контроля целостности закладывают принцип обеспечения непрерывной работы, включая защиту от сбоев, стихийных бедствий и других форс-мажорных обстоятельств. Принцип простоты использования защитных механизмов подразумевает, что самый безопасный путь эксплуатации системы будет также наиболее простым, и наоборот, самый простой – наиболее защищенным.
Для реализации механизмов обеспечения целостности информации разработано много различных моделей. Наиболее известны из них модель Кларка-Вилсона и модель Биба. Модель Биба – это интерпретация модели Белла-Лападулла, разработанной для разграничения
260