Secure system design and trustable computing. ([2016])