Goal-Oriented, B-Based Formal Derivation of Security Design Specifications from Security Requirements.
Riham HassanShawn A. BohnerSherif El-KassasMohamed EltoweissyPublished in: ARES (2008)
Keyphrases
- security requirements
- goal oriented
- requirements engineering
- software architecture
- security analysis
- security properties
- security policies
- information security
- security problems
- smart card
- security mechanisms
- access control
- security concerns
- security model
- requirements analysis
- mobile commerce
- functional requirements
- formal specification
- security patterns
- case study
- development lifecycle
- security issues
- formal model
- design process
- software engineering
- information systems
- secure electronic
- formal methods
- network security
- model checking