Note: 国家自然科学基金国家重大科研仪器研制项目
国家自然科学基金国际合作重点项目-工业控制系统信息安全防护的形式化分析与验证
国家自然科学基金重点项目，容忍入侵的工业控制系统信息安全防护的基础理论与关键技术
