☆ 软件安全评测中心(CNAS认可)☆
首页
产品服务
Wukong(悟空)产品功能
CNAS认可评测中心
合作伙伴
关于天齐
联系我们
安全资讯
个人中心
免费咨询:400-636-0101
公司介绍
技术实力
符合国家标准
资质认证
公司荣誉
北京中科天齐信息技术有限公司由中科院研究员李炼博士创立,以自主研究成果中科天齐软件源代码安全缺陷检测平台(WuKong)为主打产品,团队凭借多年在程序分析领域的技术积累,致力打造安全漏洞治理领域新生态的高新技术企业。
公司已在国内十余个城市落地分支机构,深入服务互联网、软件开发、智慧城市、金融科技等诸多重要领域。公司多年来致力于我国软件安全技术和服务能力的提升,率先在国内构建完成集科研、产业、教育、投资“四位一体”的软件安全产业体系,已成功帮助上百家行业客户有效地增强了网络安全保障能力。
公司相关研究成果已在国际顶尖学术会议PLDI, FSE, ECOOP, CGO, SAS等会议上发表论文三十余篇,获得多项发明专利和最佳论文奖,拥有这一领域领先世界的创新技术和创新能力。同时,公司荣获全国移动互联创新大赛一等奖、中科院北京技术转移中心创业奖等多项重量级奖项。
李炼
(研究员/博士)
中科院计算所国家重点实验室研究员
中国科学院大学 博士生导师
金融科技应用风险防控专委会委员
李炼博士获澳大利亚新南威尔士大学计算机博士学位,现任中国中科院计算所国家重点实验室研究员,主要负责领导中科院计算所计算机体系结构国家重点实验室团队开展重大项目科研工作。
李炼博士多年以来一直从事程序分析和软件安全测试方向的研究,在该方向做出了有世界影响力的成果。在中科院计算技术研究所领导开发的“软件代码安全检测修复平台wukong”在检错能力上全面超出国际同类工具、具有重大应用潜力。
李炼博士近年来先后在ACM/IEEE Trans、FSE、ISMM、CGO、CC、PACT等国际权威期刊和会议发表论文20余篇,单篇最高他引120 次。
案例展示
CGO’13,CGO’14,ECOOP’16, ASE2019发表论文
PLDI、ICSE、FSE、ECOOP、CGO、SAS等会议 成果发表
获得国际、国内多项专利
本产品选用Juliet Test Suite V1.3 版本的测试集进行测试,该测试集是由美国国家技术标准研究所(National Institute of Standards and Technology,NIST) 于 2017 年针对 CWE 中的不同分类所创建的。针对我们所支持的cwe分类测试结果漏报率为3% , 误报率为2%。
《中华人民共和国网络安全法》
《网络安全等级保护基本要求》国家推荐标准GB/T22239-2019
《信息安全技术 信息安全等级保护基本要求》国家推荐标准GB/T 22239 2008 国家信息安全漏洞库分类(已获得CNNVD兼容性资质认证)
《 C/C++语言 源代码漏洞测试规范》国家推荐标准GB/T 34943-2017
《Java语言 源代码漏洞测试规范》国家推荐标准GB/T 34944-2017
《Java语言 源代码缺陷控制与测试指南》行业推荐标准SJ/T 11683-2017
《C/C++语言 源代码缺陷控制与测试指南》行业推荐标准SJ/T 11682-2017
Cert Java(国际规范)
Cert C/C++(国际规范)
国家高新技术企业
中关村高新技术企业
公安部计算机信息系统安全销售许可证
中国软件评测中心兼容适配测试
中国科学院科技服务网络计划专项支持
工信部网络安全技术应用示范项目大连市网络安全公共服务平台技术支撑单位
首届“鼎信杯”信息技术应用创新 典型应用软件
2019年(第五届)全国移动互联创新大赛 总决赛一等奖
2019年 中国科学院北京分院科技成果转化奖创业奖
2019年IPO“中知在线”杯知识产权运营大赛 优秀项目奖
2019年“国科大杯”创新创业大赛 一等奖
NASAC2018 命题型竞赛 二等奖
联系我们
北京中科天齐信息技术有限公司
地址:北京市海淀区知春路48号盈都大厦C座
电话:400-636-0101
扫码关注公众号
扫码预约检测