Grupo Alarcos · Conference paper · 2022
CARMEN: A framework for the verification and diagnosis of the specification of security requirements in Cyber-physical systems (journal first)
Ángel Jesús Varela-Vaca, David García Rosado, Luis Enrique Sánchez Crespo, Maria Teresa Gomez-Lopez, Rafael Martínez Gasca, Eduardo Fernández-Medina Patón
On the same topic
- 2006 Secure Information Systems Development - Based on a Security Requirements Engineering Process
- 2006 Security Patterns Related to Security Requirements
- 2025 3rd International Workshop on Cyber Security Education for Industry and Academia (CSE4IA 2025)
- 2008 Security Requirements in Software Product Lines