Secure and Trusted Operating Systems