Mostrando 2 resultados de: 2
Filtros aplicados
Publisher
Computers in Industry(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Área temáticas
Ciencias de la computación(2)
Derecho privado(1)
Factores que afectan al comportamiento social(1)
Área de conocimiento
Ciencias de la computación(2)
Origen
scopus(2)
Definition and Verification of Security Configurations of Cyber-Physical Systems
Conference ObjectAbstract: The proliferation of Cyber-Physical Systems (CPSs) is raising serious security challenges. These arePalabras claves:Configuration, CPS, Cyber-physical system, Feature model, Requirement, security, VerificationAutores:Fernandez-Medina E., Gasca R.M., Gómez-López M.T., Luis Enrique Sánchez Crespo, Rosado D.G., Varela-Vaca Á.J.Fuentes:scopusCARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems
ArticleAbstract: In the last years, cyber-physical systems (CPS) are receiving substantial mainstream attention especPalabras claves:Configuration models, Cyber-physical system, CYBERSECURITY, diagnosis, security, Security requirements, Security verificationAutores:Fernandez-Medina E., Gasca R.M., Gómez-López M.T., Luis Enrique Sánchez Crespo, Rosado D.G., Varela-Vaca Á.J.Fuentes:scopus