SBP: A Programming Paradigm for Building Secure Software and Operating Systems