北京中科天齐信息技术有限公司在经过企业申报、提交申报材料、专家评审、认定报备、公示公告等一系列程序的严格审核后，荣获“国家高新技术企业”和“中关村高新技术企业”认定，实现了双高新认定。国家高新技术企业高新技术企业是发展高新技术产业的重要基础，是调整产业结构、提高国家竞争力的生力军，在我国经济发展中占有十分重要的战略地位，一直受到各级政府的高度重视、鼓励和支持。按照规定，只有当企业研发投入占比、高新技术产品收入占比、科技人员数量、技术创新能力等核心指标满足一定条件才能获此认定。中关村高新技术企业"中关村高新技术企业"由北京中关村科技园区管理委员会审核，通过一系列严格的要求，包括企业资质、科技研发能力、技术创新能力、企业发展情况以及填报资料真实性等方面的考察，最终确定是否可以获得资质认定，是国家为支持高新企业发展，提高国家综合经济竞争力而设立。本次中科天齐获得双高新技术企业的认定，是国家对企业在科技创新上的认可和支持，同时也标志着中科天齐正式迈入高新技术企业行列。中科天齐将继续以技术为核心，以市场发展为导向，积极提升企业核心竞争力、创造力和生命力。同时更加注重知识产权、培养优秀技术人才队伍，加强科技成果转化应用能力，助推公司高质量发展，助力网络安全建设。WuKong静态代码安全测试工具 “Wukong”作为一款静态代码安全测试工具，支持多种开发语言的安全缺陷检测，兼容多种国产化环境，帮助用户提升抵御网络攻击、防止数据泄露等安全问题的能力。

近日，ACM CCS24即第31届ACM计算机和通信安全大会在美国盐湖城举行，中科天齐团队成员黄永恒博士在会上展示了题为《Detecting Broken Object-Level Authorization Vulnerabilities in Database-Backed Applications》的研究成果。该研究针对数据库支持的应用程序中常见的Broken Object-Level Authorization (BOLA)漏洞展开了深入分析，填补了对该类漏洞系统性研究的空白。研究团队通过分析101个开源应用中的实际BOLA漏洞，总结了数据库支持应用程序中最常见的四种对象级别授权模型。这一分析为开发全新的自动化检测工具BolaRay奠定了基础。BolaRay结合SQL分析和静态分析，自动推断应用程序中使用的授权模型，并验证这些模型是否正确实施了访问控制检查。在对25个流行的数据库支持应用程序进行测试时，BolaRay成功发现了193个真实漏洞，其中178个为首次报告，误报率为21.86%。迄今为止，研究团队已向相关项目的维护者报告了所有新发现的漏洞，155个漏洞已被确认，并且已有52个漏洞获得了CVE编号。ACM CCS与IEEE S&P、USENIX Security和NDSS并称为信息安全领域的四大顶级国际学术会议，同时也是中国计算机学会推荐的CCF-A类会议。该会议吸引了来自全球的顶尖研究人员与专家，探讨网络安全领域的前沿问题与创新技术，是展示国际最前沿研究成果的重要平台。2024年，ACM CCS的录取率为16.9%(331/1964)，反映了网络安全领域的最高学术水准。 此次研究团队的研究成果进一步推动了对BOLA漏洞的深度理解和自动化检测技术的进展，展示了研究团队在网络安全领域的领先研究实力。

近日，第三届OpenHarmony技术大会在上海成功举行。此次大会是举办至今规模最大的鸿蒙相关的技术大会，会上邀请了来自全球的开源操作系统技术领袖、前沿实践专家、广大开发者以及学术界大咖，面向全球展示了OpenHarmony的最新技术、生态、人才进展与行业实践。作为应用软件安全分析领域资深专家，北京中科天齐信息技术有限公司董事长李炼博士受邀参加此次大会，并发表主题为《高层语义的自适应分析方法与工具》的演讲，同业界人员共同探讨高质量OpenHarmony应用的开发与生态建设。李炼博士指出，应用层的大部分安全性问题以及性能和功能问题都需要深入理解高层的应用逻辑语义，例如检测授权以及认证等相关安全问题需要深入理解应用的认证以及授权机制。但这些高层语义和应用具体实现密切相关，往往无法进行通用的定义。针对上述问题，李炼博士进一步探讨了如何通过自动半自动的方法来自动推断高层应用语义、以及如何严格地表述高层语义信息。并进一步介绍了如何在WuKong中实现高效便于扩展的高层语义分析工具：通过声明式的方法来定义高层语义，并扩展现有分析工具来实现对自定义语义的自动检测，从而兼顾分析工具的可扩展性与效率和精度。他指出，通过自动或半自动高层语义推断以及自适应分析方法与工具，可以解决灵活多变的应用层逻辑问题。李炼博士是中国科学院计算技术研究所研究员，常年从事程序分析与软件安全方向研究，成果发表于领域内顶级会议及期刊包括SOSP、USENIX SECURITY、CCS、OOPSLA、NDSS、FSE、TSE、ASE、ISSTA上，累计50余篇，获得ASE2019杰出论文奖以及CCS2022最佳论文提名。获得中国科学院优秀导师奖(2020，2021)，中国科学院领雁奖(2021，2022)。承担了包括国家重点研发计划(课题负责人)，国家重点基金(子课题负责人)，中科院STS项目等多个项目。研发的静态分析工具WuKong已经产业化，广泛应用于包括多个IT企业、国家部委在内的多家单位，为开源社区发现数百个严重缺陷，获得100+CVE。关于中科天齐 北京中科天齐信息技术有限公司(简称中科天齐)由李炼博士创立，以自主研究成果中科天齐软件源代码安全缺陷检测平台为主打产品，团队凭借多年在程序分析领域的技术积累，致力打造应用软件安全漏洞治理领域新生态的高新技术企业。中科天齐积极拥抱开源事业，不断探索开源生态下的应用软件安全分析策略，为OpenHarmony生态的原生安全建设贡献力量。