Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux.
Laurent GeorgetMathieu JaumeFrederic TronelGuillaume PiolleValérie Viet Triem TongPublished in: FormaliSE@ICSE (2017)
Keyphrases
- operating system
- information flow
- multi threaded
- application level
- control system
- computer systems
- microsoft windows
- social networks
- linux kernel
- red hat
- virtual machine
- command line
- distributed systems
- windows xp
- information flows
- mandatory access control
- memory management
- multi tasking
- databases
- communication networks
- information security
- flow graph
- windows nt
- operating environment
- query processing
- virtual memory
- software systems
- model checking