Login / Signup

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

Ángel Jesús Varela-VacaDavid G. RosadoLuís Enrique SanchezMaría Teresa Gómez LópezRafael M. GascaEduardo Fernández-Medina
Published in: Comput. Ind. (2021)
Keyphrases
  • security requirements
  • access control
  • software architecture
  • security mechanisms
  • security analysis
  • network security
  • security policies
  • cyber physical systems