Refinement modeling and verification of secure operating systems for communication in digital twins.
Zhenjiang QianGaofei SunXiaoshuang XingGaurav DhimanPublished in: Digit. Commun. Networks (2024)
Keyphrases
- operating system
- security mechanisms
- computer systems
- interprocess communication
- high assurance
- mandatory access control
- resource constrained
- virtual machine
- previously mentioned
- application level
- distributed systems
- windows xp
- memory management
- address space
- computer networks
- computing power
- communication networks
- application programs
- db universal database
- microsoft windows
- protection scheme
- model checking