Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support
Quentin Rouland, Brahim Hamid, Jason Jaskolka
Topics & Concepts
Computer scienceSTRIDESoftware engineeringSoftware security assuranceFlexibility (engineering)ReuseFormal specificationFormal methodsContext (archaeology)Specification languageThreat modelComponent-based software engineeringComputer securitySoftware developmentSoftwareProgramming languageInformation securitySecurity serviceMathematicsStatisticsEcologyPaleontologyBiologySafety Systems Engineering in AutonomyAdvanced Software Engineering MethodologiesSoftware Engineering Research