Extending Attack-Fault Trees with Runtime Verification.

Rafael C. Cardoso Angelo Ferrando Michael Fisher

Published in: FMAS/ASYDE@SEFM (2022)

Keyphrases

control system
fault injection
java card
fault model
fuzzy logic
decision trees
fault diagnosis
fault detection
countermeasures
model checking
formal verification
tree models
verification method
static analysis
tree structure
face verification
transmission line
denial of service attacks
neural network