Validating Safety and Security Requirements for Partitioned Architectures.
Julien DelangeLaurent PautetPeter H. FeilerPublished in: Ada-Europe (2009)
Keyphrases
- security requirements
- information security
- smart card
- security analysis
- security concerns
- security policies
- security model
- access control
- security properties
- security problems
- security mechanisms
- software architecture
- reference models
- mobile commerce
- security patterns
- covert channel
- secure electronic
- high level
- data model
- relational databases
- information systems
- artificial intelligence
- databases