Documentos de Gómez-López M.T. | REDI

Regresar

Mostrando 1 resultados de: 1

Filtros aplicados

Publisher: "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"

Subtipo de publicación

Conference Object(1)

Área temáticas

Ciencias de la computación(1)

Derecho privado(1)

Física aplicada(1)

Área de conocimiento

Ciencias de la computación(1)

Año de Publicación

Origen

Palabras Claves

Configuration(1)

Cyber-physical system(1)

Feature model(1)

Definition and Verification of Security Configurations of Cyber-Physical Systems

Conference Object

Abstract: The proliferation of Cyber-Physical Systems (CPSs) is raising serious security challenges. These are

Palabras claves:

Configuration, CPS, Cyber-physical system, Feature model, Requirement, security, Verification

Fernandez-Medina E., Gasca R.M., Gómez-López M.T., Luis Enrique Sánchez Crespo, Rosado D.G., Varela-Vaca Á.J.