2014年8月-2016年7月【实验室开放课题】
1 | 可信物联网环境下射频识别(RFID)安全协议研究 | 孙达志 | 2014年8月-2016年7月 |
2 | 多租户云应用软件的形式化建模与自动配置 | 蒋建民 | 2014年8月-2016年7月 |
3 | 概率模型检测中的一些代数推理方法 | 徐 鸣 | 2014年8月-2016年7月 |
4 | 可执行软件静态分析几个关键技术研究 | 宋 富 | 2014年8月-2016年7月 |
5 | 可信计算软件中算术表达式的快速计算方法研究 | 赵世忠 | 2014年8月-2016年7月 |
6 | 智能异构式系统的建模语言理论研究 | 黄滟鸿 | 2014年8月-2016年7月 |