IEEE Transactions on Dependable and Secure Computing

Описание

Ключевое направление — исследование надежности и безопасности вычислительных систем, охватывающее аспекты защиты информации, устойчивости к сбоям и обеспечения конфиденциальности данных. Авторы применяют разнообразные методы, включая формальный анализ, моделирование и оценки уязвимостей, что позволяет решать задачи, связанные с разработкой защищенных программных и аппаратных решений. Журнал также фокусируется на новых подходах к проверке и верификации систем, а также на интеграции методов машинного обучения для повышения уровня защиты. Издание будет особенно полезно для исследователей в области компьютерной безопасности, системного анализа и разработчиков программного обеспечения.