KSOS—Development methodology for a secure operating system | IEEE Conference Publication | IEEE Xplore