Formal analysis and design for engineering security automated derivation of formal software security specifications from goal-oriented security requirements.
Riham HassanMohamed EltoweissyShawn A. BohnerSherif El-KassasPublished in: IET Softw. (2010)
Keyphrases
- security requirements
- formal analysis
- goal oriented
- requirements engineering
- formal methods
- security properties
- access control
- development lifecycle
- information security
- security analysis
- security policies
- requirements analysis
- security mechanisms
- software architecture
- ban logic
- security problems
- smart card
- security patterns
- security model
- security concerns
- design process
- artificial intelligence
- agent model
- formal model
- formal specification
- mobile commerce
- security protocols
- knowledge based systems
- case study
- secure electronic