1602ソフトウェア工学 安全なIoTシステムの実現を目指す「CREST ZT-IoT」の研究成果をCEATEC 2026で発表 〜形式検証とシステムソフトウェアの融合によるゼロトラストIoT〜
2026-10-09 国立情報学研究所国立情報学研究所(NII)、京都大学、情報セキュリティ大学院大学、東京情報デザイン専門職大学の研究グループは、形式検証とシステムソフトウェアを融合し、ゼロトラストに基づく安全なIoTシステムの実現を目指...
1602ソフトウェア工学
1602ソフトウェア工学
1602ソフトウェア工学
1602ソフトウェア工学
1602ソフトウェア工学
1602ソフトウェア工学
1602ソフトウェア工学
1602ソフトウェア工学
1602ソフトウェア工学
1602ソフトウェア工学
1602ソフトウェア工学
1602ソフトウェア工学