リモートアテステーション

2026-10-09 国立情報学研究所国立情報学研究所（NII）、京都大学、情報セキュリティ大学院大学、東京情報デザイン専門職大学の研究グループは、形式検証とシステムソフトウェアを融合し、ゼロトラストに基づく安全なIoTシステムの実現を目指...