У статті розглядається метод автоматизованої побудови графа знань зв'язності формальних моделей норм і вимог у сфері інформаційної безпеки.