Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support.
Quentin RoulandBrahim HamidJason JaskolkaPublished in: J. Syst. Archit. (2021)
Keyphrases
- formal methods
- software components
- formal specification
- tool support
- software development
- software engineering
- software systems
- reactive systems
- software reuse
- provably correct
- model checking
- process algebra
- software projects
- commercial off the shelf
- knowledge based systems
- web services
- artificial intelligence
- modeling language
- formal specification language
- reusable components
- development lifecycle
- building blocks
- software tools
- information security
- anomaly detection
- cooperative
- protocol specification
- real world