Login / Signup
Formal Analysis of Safety and Security Requirements of Critical Systems Supported by an Extended STPA Methodology.
Giles Howard
Michael J. Butler
John Colley
Vladimiro Sassone
Published in:
EuroS&P Workshops (2017)
Keyphrases
</>
formal analysis
security requirements
formal methods
security patterns
data mining
smart card
databases
computer systems
knowledge based systems
agent model
multi agent systems
data mining techniques
security policies
security analysis
security properties
security concerns