SADP: Security assurance development process for building reliable Linux-based operating system | IEEE Conference Publication | IEEE Xplore