Design for trustworthy software Fundamental research for trustworthy software Fundamental research for trusteorthy software Design for software 并列题名：Fundamental research for trustworthy software Designing secure software Fit for developing software