Formal security analysis for software architecture design: An expressive framework to emerging architectural styles
Nacha Chondamrongkul, Jing Sun, Ian Warren
Topics & Concepts
Computer scienceArchitectural patternSoftware security assuranceSoftware engineeringSoftware architectureVulnerability (computing)Vulnerability managementThreat modelArchitectureSoftwareComputer securitySoftware developmentSoftware designVulnerability assessmentInformation securitySecurity serviceProgramming languagePsychologyPsychological resilienceArtVisual artsPsychotherapistSoftware Engineering ResearchAdvanced Software Engineering MethodologiesSoftware System Performance and Reliability