Adding Security Concerns to Safety Critical Certification.
Nicola NostroAndrea BondavalliNuno SilvaPublished in: ISSRE Workshops (2014)
Keyphrases
- security concerns
- safety critical
- formal methods
- fault tolerant
- security policies
- security threats
- security requirements
- embedded systems
- agent architecture
- data privacy
- sensitive data
- third party
- support systems
- smart card
- privacy preserving
- adaptive systems
- database
- database management systems
- access control
- open source
- e learning
- decision making