高安全・高信頼な情報通信のための トロイフリーLSIシステム設計・検証技術の開発