economical development of IT applications that enforce their own
security policies with high assurance.
u Secure System Composition: Develop techniques for building highly
secure systems in the case where few components or no components at