SμV - The Security MicroVisor: A Formally-Verified Software-Based Security Architecture for the Internet of Things.
Mahmoud AmmarBruno CrispoBart JacobsDanny HughesWilfried DanielsPublished in: IEEE Trans. Dependable Secur. Comput. (2019)
Keyphrases
- security architecture
- security policies
- security model
- access control
- security mechanisms
- data integrity
- intrusion detection system
- software systems
- simulation platform
- insider threat
- source code
- security requirements
- intrusion detection
- software architecture
- database design
- computer systems
- database systems
- databases
- resource constrained
- data security
- distributed systems