Towards Incremental Safety and Security Requirements Co-Certification.
Morgagni AndreaPhilippe MassonetDupont SbastienGrandclaudon JeremyPublished in: EuroS&P Workshops (2020)
Keyphrases
- security requirements
- smart card
- security analysis
- information security
- security concerns
- security model
- security properties
- access control
- security problems
- security policies
- mobile commerce
- software architecture
- security mechanisms
- reference models
- security patterns
- secure electronic
- requirements engineering
- third party
- data management
- sensor networks
- timing constraints
- artificial intelligence
- databases
- real time
- database