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月