Модели и методы описания политики безопасности для управления доступом в распределенных информационных системах

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