|
Труды СПИИРАН, 2013, выпуск 30, страницы 246–257
(Mi trspy685)
|
|
|
|
Методика верификации сетевых информационных потоков в информационно-телекоммуникационных системах со встроенными устройствами
В. А. Десницкий Санкт-Петербургский институт информатики и автоматизации РАН
Аннотация:
В работе представлена методика верификации сетевых информационных потоков информационно-телекоммуникационных систем со встроенными устройствами. Цель методики – оценка защищенности разрабатываемой системы и проверка соответствия информационных потоков в реальной системе заданным политикам. Проводимая верификация базируется на методе «проверки на модели» с использованием программного средства SPIN. Верификация информационных потоков проводится на начальных этапах проектирования и обеспечивает более раннее обнаружение противоречий в используемой политике безопасности и несоответствий топологии сети требованиям информационно-телекоммуникационной системы.
Ключевые слова:
информационная безопасность, информационные потоки, встроенные устройства.
Поступила в редакцию: 09.10.2013
Образец цитирования:
В. А. Десницкий, “Методика верификации сетевых информационных потоков в информационно-телекоммуникационных системах со встроенными устройствами”, Тр. СПИИРАН, 30 (2013), 246–257
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/trspy685 https://www.mathnet.ru/rus/trspy/v30/p246
|
Статистика просмотров: |
Страница аннотации: | 134 | PDF полного текста: | 64 | Список литературы: | 33 | Первая страница: | 1 |
|