学术信息网 西电导航 关于 使用说明 搜索 系统首页 登录 控制面板 收藏 习宁的留言板
科学研究

[1]国家自然科学基金青年基金,面向服务组合的信息流安全验证及评估技术研究,61502368,项目编号:61502368,22万,2016.01-2018.12,在研,主持。

[2]国家自然科学基金促进海峡两岸科技合作联合基金,面向异构物联网的安全融合理论及关键技术研究,项目编号:U1405255,245 万,2015.01-2018.12,在研,参加,负责服务融合安全。

[3]国家自然科学基金青年基金,嵌入式软件可组合信息流安全验证机制研究,项目编号:61303033,23万,2014.01-2016.12,结题,参加,负责信息流安全模型分析。