Security, Privacy, and Dependability Evaluation in Verification and Validation Life Cycles for Military IoT Systems.
Manas PradhanJosef NollPublished in: IEEE Commun. Mag. (2020)
Keyphrases
- life cycle
- high assurance
- complex systems
- management system
- security measures
- security issues
- security systems
- software systems
- cryptographic protocols
- statistical databases
- human operators
- critical infrastructure
- security mechanisms
- data security
- security requirements
- authentication protocol
- privacy concerns
- model checking
- security problems
- rfid systems
- security risks
- privacy preserving
- intrusion detection