Publicaciones en colaboración con investigadores/as de Universidad de Sevilla (3)

2024

  1. Enabling security risk assessment and management for business process models

    Journal of Information Security and Applications, Vol. 84

2021

  1. CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems

    Computers in Industry, Vol. 132

2020

  1. Definition and Verification of Security Configurations of Cyber-Physical Systems

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