高新技术企业
首页
产品服务
Wukong(悟空)产品功能
检测服务
合作伙伴
关于天齐
联系我们
安全资讯
个人中心
免费咨询: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++(国际规范)
国家高新技术企业
中关村高新技术企业
公安部计算机信息系统安全销售许可证
中国软件评测中心兼容适配测试
CWE国际认证
工信部网络安全技术应用示范项目大连市网络安全公共服务平台技术支撑单位
首届“鼎信杯”信息技术应用创新 典型应用软件
2019年(第五届)全国移动互联创新大赛 总决赛一等奖
2022年 产学研合作创新奖
2019年IPO“中知在线”杯知识产权运营大赛 优秀项目奖
2019年“国科大杯”创新创业大赛 一等奖
NASAC2018 命题型竞赛 二等奖
联系我们
北京中科天齐信息技术有限公司
地址:北京市海淀区知春路48号盈都大厦C座
电话:400-636-0101
扫码关注公众号
扫码预约检测