综合化航空电子可信平台

针对智能系统面临的信息窃取及篡改等安全攻击，采用可信平台模块（TPM）的技术，保证实体认证、数据的机密性、完整性以及不可否认性。基于该平台，研发了综合化航空电子可信验证系统，首次将安全性纳入航空电子系统的基本需求，实现了航空电子系统的可证明安全性。该系统应用于无人机和国产大飞机C919中，是首个在机载电子系统中应用的可信验证系统，未来将部署在宽体客机C929上。在无人机反制与防御技术方面，突破了智能无人机...

查看详情 >>

无人机系统跨层协同攻击框架

当前无人机应用广泛，军用及民用无人机数据巨大，无人机一般由飞行系统、任务载荷系统和地面控制系统三大部分组成，复杂多任务载荷及多系统协同工作的特点给现有无人机安全带来了巨大的安全威胁与挑战：无线信号传输漏洞使得无人机通信系统安全指数急剧下降，通过无线信号劫持不仅可以控制无人机的飞行功能，而且可以任意浏览、拷贝、篡改无人机上储存的数据；GPS信号欺骗干扰无人机的导航系统，使无人机出现错误的位置、高度、...

查看详情 >>

微物联开放共享平台

研发了能够接纳多种接入机制的物联网交换机(IoT-Switch)和基于边缘云的自适应接入平台(MicroLink)，解决了大规模异构物联网设备的组网和数据汇聚问题，实现了万物互联。研发了以数据为中心的边缘协同云计算系统(Edge-Stack)，实现了多源异构数据的分析、共享和使用；研发了物联网应用开发环境和容器(IoT-C&C)，实现应用快速开发部署。研发了物联网安全支撑系统(IoT-Sec)，包括基于物性特征的节点接入认证系统、轻量级高效密码服...

查看详情 >>

“安飞”无人机安全组网系统

提出了面向综合模块化航空电子平台IMA的可信计算架构，设计并实现了面向航空电子系统的可信计算平台，确保了系统软硬件环境的完整性以及不可篡改性；设计无人机统一认证管理框架以及层次化的群组密钥管理方法，保证无人机网络的安全性。无人机产业引起世界范围的广泛重视，也是国家空天地一体化战略中重要的一环。目前在国际范围内还没有成熟的无人机安全组网产品，极大限制其发展与应用。国际上尚未形成成熟的无人机安全组网...

查看详情 >>

“秦盾”云加密数据库

提出了云数据库加密参考结构，发明了基于明文索引的密钥管理方法及自适应可定制的数据库列分级加密技术，提出了基于属性的细粒度访问控制机制，实现了密文数据的存储、查询、更新与完整性验证。针对MIT提出的加密数据库系统CryptDB中存在的两次加密、不支持完整性验证、无法实现密文数据的有效更新等缺陷，研发了“秦盾”云加密数据库系统（QinCloudDB），在不降低安全性的前提下采用了一次加密模式，支持密文数据的完整性验...

查看详情 >>