The foundations of a provably secure operating system (PSOS) | IEEE Conference Publication | IEEE Xplore