dc.creator | Varela Vaca, Ángel Jesús | es |
dc.creator | Rosado, David G. | es |
dc.creator | Sánchez, Luis E. | es |
dc.creator | Gómez López, María Teresa | es |
dc.creator | Martínez Gasca, Rafael | es |
dc.creator | Fernández Medina, Eduardo | es |
dc.date.accessioned | 2022-06-24T08:53:48Z | |
dc.date.available | 2022-06-24T08:53:48Z | |
dc.date.issued | 2021 | |
dc.identifier.citation | Varela Vaca, Á.J., Rosado, D.G., Sánchez, L.E., Gómez López, M.T., Martínez Gasca, R. y Fernández Medina, E. (2021). CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems. Computers in Industry, 132 (November 2021, art. nº103524) | |
dc.identifier.issn | 0166-3615 | es |
dc.identifier.uri | https://hdl.handle.net/11441/134645 | |
dc.description.abstract | In the last years, cyber-physical systems (CPS) are receiving substantial mainstream attention especially
in industrial environments, but this popularity has been accompanied by serious security challenges. A
CPS is a complex system that includes hardware and software components, with different suppliers and
connection protocols, forcing complex data management and storage. For this reason, the construction,
verification and diagnosis of security CPS become a major challenge, which involves a correct specifica tion of security requirements, the verification of the correct system configurations, and if necessary, the
diagnosis to detectthe features to be modified to obtain a security configuration. In this paper, we propose
a framework for the verification and diagnosis of security requirements, according to the possible correct
configurations of the CPS. The framework is based on the specification of the security requirements and
their analysis supported by Model-Driven Engineering and Software Product Line Engineering (SPLE)
approaches. To illustrate the usefulness, the proposal has been applied to the security requirements in
an Agriculture 4.0 scenario based on automated hydroponic cultivation | es |
dc.description.sponsorship | Ministerio de Ciencia e Innovación PID2020-112540RB-C42 | es |
dc.description.sponsorship | Ministerio de Ciencia e Innovación PID2020-112540RB-C44/AEI/10.13039/501100011033 | es |
dc.description.sponsorship | Junta de Andalucía P20-01224 (COPERNICA) | es |
dc.description.sponsorship | Junta de Castilla-La Mancha SBPLY/17/180501/000202 | es |
dc.format | application/pdf | es |
dc.format.extent | 14 | es |
dc.language.iso | eng | es |
dc.publisher | Elsevier | es |
dc.relation.ispartof | Computers in Industry, 132 (November 2021, art. nº103524) | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Cyber-physical system | es |
dc.subject | Cybersecurity | es |
dc.subject | Security | es |
dc.subject | Configuration models | es |
dc.subject | Security requirements | es |
dc.subject | Security verification | es |
dc.subject | Diagnosis | es |
dc.title | CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos | es |
dc.relation.projectID | PID2020-112540RB-C42 | es |
dc.relation.projectID | PID2020-112540RB-C44/AEI/10.13039/501100011033 | es |
dc.relation.projectID | P20-01224 (COPERNICA) | es |
dc.relation.projectID | SBPLY/17/180501/000202 | es |
dc.relation.publisherversion | https://www.sciencedirect.com/science/article/pii/S0166361521001317?via%3Dihub | es |
dc.identifier.doi | 10.1016/j.compind.2021.103524 | es |
dc.contributor.group | Universidad de Sevilla. TIC258: Data-centric Computing Research Hub | es |
dc.journaltitle | Computers in Industry | es |
dc.publication.volumen | 132 | es |
dc.publication.issue | November 2021, art. nº103524 | es |
dc.contributor.funder | Ministerio de Ciencia e Innovación (MICIN). España | es |
dc.contributor.funder | Junta de Andalucía | es |
dc.contributor.funder | Junta de Castilla-La Mancha | es |
dc.description.awardwinning | Premio Mensual Publicación Científica Destacada de la US. Escuela Técnica Superior de Ingeniería Informática | |