ИСТИНА

В докладе рассматривается формальная модель конфиденциальности передачи данных в сетях с динамической топологией. Показано, что несмотря на обширное разнообразие протоколов управления динамической топологией они практически на учитывают факторов безопасности сети, которые обязательно возникают при изменениях состава узлов и конфигурации их связей. Рассмотрены формализмы для описания одного критерия безопасности - конфиденциальности инвариантно по отношению к классу вычислительных структур, показана связь конфиденциальности со структурой множества субъектов доступа. С использованием разделения физической и логической топологии результаты формализации распространены на динамику топологии сети. В заключение приведены ограничения, которые накладывают некоторые решения сетевой безопасности на возможности управления динамической топологией.