研究领域 查看导师最新文章 (温馨提示:请注意重名现象,建议点开原文通过作者单位确认) 物联网、CPS、核设 施等安全攸关领域软件的可信计算技术,包括软件的建模、验证和测试的理论、技术和方法, DCS软件的安全技术