杏盛

实验室以智能时代的可信软件基础理论和应用研究为主线，从以下3个方面开展理论研究工作🧎‍♀️‍➡️。

（1）可信及智能软件基础理论

主要研究内容包括：基于互联网群体智能的软件开发方法；基于大数据样本的网络空间软件行为安全分析方法；基于双内核架构的可信根构建💇🏿‍♂️、动态可信链传递🤽🏼‍♂️、动态远程证明；软件安全性的度量🆑、建模与预测🤖；可信软件的设计与构造；软件可信性验证技术，包括软件非功能性验证🧒🏻、代码安全性验证、能耗敏感的验证⚇、程序分析测试验证工具开发；软件自诊断、自治愈和自恢复；符号计算🧍🏻‍♀️；信息物理融合系统的安全性保证。

（2）可信网络与安全协议

主要研究内容包括🏄🏿‍♂️：抵御侧信道攻击的密码算法设计与分析🤰🏼🫂；安全协议的形式化分析与验证🈹；不需要可信机构的安全协议⚙️；具有隐私保护性的数据匿名化与数据聚合协议；D2D通信中的轻量级安全协议；泛在网络中的错误容忍和可靠性保证；泛在网络的可信接入；泛在网络的QoS机制与网络性能分析；泛在网络的安全保护和信任管理。

（3）大数据处理与可信服务

主要研究内容包括：数据访问控制和隐私保护；大数据网络入侵检测与自主防御；基于可靠性的信息推荐𓀝；图数据的高效管理和分析；本体知识工程；大数据环境中的异常数据探测及信息隐藏；社交网络大数据的搜集与可信分析；虚拟网络社区的个体和群体行为预测；多媒体内容安全；面向数据管理的可信应用，包括金融数据安全性、图数据、空间数据及不确定性数据的管理等🌅。