Building a trusted computing base
Application Structure and Modularity