Security requirements formalized with OCL in a model-driven approach.
Marian BorekNina MoebiusKurt StenzelWolfgang ReifPublished in: MoDRE (2013)
Keyphrases
- security requirements
- metamodel
- smart card
- security analysis
- modeling language
- software architecture
- security properties
- security concerns
- software systems
- access control
- security problems
- information security
- security policies
- development process
- security mechanisms
- life cycle
- data model
- black box
- security model
- security patterns
- reference models
- design patterns
- reference model
- secure electronic
- open source
- mobile commerce
- object oriented
- requirements engineering
- case study
- covert channel
- data mining