Abstract: Trusted component is emerging as one of the key research areas in software engineering recently. The research and application aimed at providing a solid foundation for the software industry through extensive libraries of trusted reusable software componen

Key words: Trusted component, Quality model of trusted component, Components certification, Formal development