Checking SysML Models Against Safety and Security Properties.

Pierre de Saqui-Sannes Ludovic Apvrille Rob A. Vingerhoeds

Published in: J. Aerosp. Inf. Syst. (2021)

Keyphrases

security properties
formal methods
security requirements
case study
control system
software engineering
intrusion detection
formal model