Evaluating tool support for embedded operating system security: an experience feedback.
Matthias PasquierFrédéric JouaultMatthias BrunJulien PérochonPublished in: MoDELS (Companion) (2020)
Keyphrases
- operating system
- tool support
- windows xp
- security mechanisms
- high assurance
- computer systems
- application level
- software development
- design decisions
- software engineering
- virtual machine
- distributed systems
- software tools
- software projects
- previously mentioned
- information security
- embedded systems
- protection scheme
- microsoft windows
- security policies
- intrusion detection
- access control
- discretionary access control
- memory management
- computer security
- test suite
- virtual memory
- operating environment
- requirements engineering
- security requirements
- network security
- address space
- multi tasking