Secure System Design and Trustable Computing