Formalization of design patterns for security and dependability.
Cuauhtemoc CastellanosThomas VergnaudEtienne BordeThomas DeriveLaurent PautetPublished in: ISARCS (2013)
Keyphrases
- design patterns
- software systems
- software engineering
- object oriented
- object oriented software
- software design
- security issues
- ontology driven
- software architecture
- usage scenarios
- security requirements
- metamodel
- design principles
- information security
- ambient intelligence
- learning objects
- knowledge representation
- database driven
- intrusion detection
- network security
- complex systems
- data mining
- statistical databases
- design requirements
- access control
- specific problems
- formal model
- process model
- databases
- design rationale
- model view controller
- security policies
- software maintenance
- source code
- mobile devices
- decision making
- information systems
- real world