Case study on combined validation of safety & security requirements.
Michal SojkaMichal KrecZdenek HanzálekPublished in: SIES (2014)
Keyphrases
- security requirements
- case study
- security analysis
- smart card
- security properties
- security model
- access control
- security mechanisms
- information security
- security problems
- security policies
- security concerns
- mobile commerce
- software architecture
- reference models
- secure electronic
- security patterns
- real time
- concurrency control protocols
- development process
- requirements engineering
- covert channel