信頼性の高いソフトウェアの構築 - アプリケーション・セキュリティを確保するシノプシスのソリューション