Buscar
Mostrando ítems 1-3 de 3
Artículo
Feature models to boost the vulnerability management process
(Elsevier, 2022)
Vulnerability management is a critical and very challenging process that allows organisations to design a procedure to identify potential vulnerabilities, assess the level of risk, and define remediation mechanisms to ...
Artículo
A domain-specific language for the specification of UCON policies
(Elsevier, 2022)
Security policies constrain the behavior of all users of an information system. In any non-trivial system, these security policies go beyond simple access control rules and must cover more complex and dynamic scenarios while ...
Artículo
CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems
(Elsevier, 2021)
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 ...