- idUS
- Listar por autor
Listar por autor "Rosado, David G."
Mostrando ítems 1-3 de 3
-
Artículo
CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems
Varela Vaca, Ángel Jesús; Rosado, David G.; Sánchez, Luis E.; Gómez López, María Teresa; Martínez Gasca, Rafael; Fernández Medina, Eduardo (Elsevier, 2021)In the last years, cyber-physical systems (CPS) are receiving substantial mainstream attention especially in industrial ...
-
Ponencia
Definition and Verification of Security Configurations of Cyber-Physical Systems
Varela Vaca, Ángel Jesús; Rosado, David G.; Sánchez, Luis Enrique; Gómez López, María Teresa; Martínez Gasca, Rafael; Fernández Medina, Eduardo (Springer, 2020)The proliferation of Cyber-Physical Systems (CPSs) is rais ing serious security challenges. These are complex systems, ...
-
Ponencia
MARISMA-SHIPS: Un nuevo patrón de riesgos para el entorno marítimo basado en la metodología MARISMA
Martínez, Ferney; Sánchez, Luis Enrique; Santos Olmo, Antonio; Rosado, David G.; Fernández Medina, Eduardo (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)La ciberseguridad es crucial para prevenir, detectar y responder rápidamente a los ataques garantizando la continuidad y ...