Security patterns modeling and formalization for pattern-based development of secure software systems.
Brahim HamidSigrid GürgensAndreas FuchsPublished in: Innov. Syst. Softw. Eng. (2016)
Keyphrases
- software systems
- security patterns
- software engineering
- formal model
- requirements engineering
- software design
- software development
- software developers
- component based software
- complex software systems
- security requirements
- software development process
- source code
- software maintenance
- software architecture
- development effort
- software testing
- multi agent systems
- software components
- development teams
- case study
- development process
- software evolution
- metamodel
- software quality
- software projects
- early stage
- security properties
- design patterns
- smart card
- object oriented
- query language