abstract: Рассмотрены запатентованные европейским патентным ведомством методы для проектирования систем безопасности; приведены достоинства и недостатки методов при решении задач автоматизации проектирования, анализа и оценки эффективности различных систем безопасности.
keywords: эффективность, автоматизированный, система безопасности, проектирование