研究领域

  • 程序代码分析

    为中小软件开发团提供一站式的敏捷开发管理与协同服务,将产品设计、编码、 测试、持续集成、发布和运维等各阶段进行有机的连接和集成,支持端到端的软件全生 命周期管理,提高软件开发人员之间的协作效率,从而加速软件开发。软工平台以...  了解详情...

  • 网络安全监测与风险评估

    结合当前大数据处理技术和政府大数据的特点,基于Spark和Hadoop等成熟的大数据存储技术,形成了完整的大数据存储解决方案,并基于Spark MLlib、Spark R和Spark Graph设计和开发了数博平台中的系列...  了解详情...

  • 智能化数据分析

    采用自适应安全架构(Adaptive Security Architecture),通过安全大数据的存储和分析,并融入场景、威胁智能和社区智能,建立“正常”模式,因此,可以检测出能逃过传统防御的“高级攻击”,从而具备持续集...  了解详情...

  • 软件工程过程管理

    研究高精度高效率的源代码缺陷自动检测技术,检测精度达到国际领先水平,打破国外工具的垄断。研究基于类C中间语言的二进制漏洞分析技术,自动发现真实程序漏洞,达到国际领先水平,填补国内空白,打破国外禁运及技术垄断。 研究基于同源... 了解详情...

实验室动态

  • 王校长来实验室莅临指导

  • 王校长来实验室莅临指导

  • 王校长来实验室莅临指导

  • 王校长来实验室莅临指导

  • 王校长来实验室莅临指导

  • 王校长来实验室莅临指导

  • 王校长来实验室莅临指导

  • 王校长来实验室莅临指导

  • 王校长来实验室莅临指导

  • 2017年3月1日,实验室一行6人,前往北京市委组织部,与信息处交流知识图谱技术在全市组织干 部管理中的应用;
  • 2017年3月7日,实验室向新华社技术局罗毅局长汇报新华社信息系统的总体设计和关键技术解决方案;
  • 2017年3月8日,CoBOT成功签订与中广核相关项目的技术合作合同,为后续的进一步合作打下良好的基础。
  • 2017年3月16日,CoBOT团队赴“华为”进行为期2天的技术交流与合作洽谈,双方在大规模代码增量分析方面进行了深入的技术交流与讨论,并达成多项共识,预计后续将进行多层面、多形式的合作;
  • 2017年3月21日,北京大学计算中心副主任马皓老师来实验室,交流了校园网安全监测与风险评估相关技术和解决方案 ;
  • 2017年3月22日,张世琨主任带队去公安部信息安全中心汇报安全攻击智能检测和风险评估技术方案,并进行了工具演示 ;

相关产品

查看更多>>