Security Standard Compliance Verification in System of Systems.
Ani BicakuMario ZsilakPeter TheilerMarkus TauberJerker DelsingPublished in: IEEE Syst. J. (2022)
Keyphrases
- cloud computing
- security issues
- security threats
- access control
- sys tems
- security systems
- intrusion detection
- biometric systems
- high security
- security patterns
- distributed systems
- information security
- security requirements
- human operators
- formal methods
- security mechanisms
- formal verification
- learning systems
- asynchronous circuits
- security measures
- automated verification
- intrusion prevention