Formal derivation of security design specifications from security requirements.
Riham HassanShawn A. BohnerSherif El-KassasPublished in: CSIIRW (2008)
Keyphrases
- security requirements
- software architecture
- security policies
- security analysis
- information security
- security properties
- functional requirements
- smart card
- security concerns
- security problems
- security model
- security mechanisms
- access control
- formal descriptions
- development lifecycle
- security patterns
- requirements engineering
- software engineering
- formal methods
- data integrity
- security issues
- biometric systems
- mobile commerce
- formal specification
- network security
- embedded systems
- formal model
- computer systems