国家知识产权局信息显示,中兴通讯股份有限公司申请一项名为“软件安全分析方法及电子设备”的专利,公开号CN122655069A,申请日期为2025年2月。
专利摘要显示,本申请实施例公开了一种软件安全分析方法及电子设备。软件安全分析方法包括:基于第一建模语言,构建目标软件系统的第一业务模型;将所述第一业务模型转化为基于时序逻辑的形式化语言的第二业务模型;对所述第二业务模型进行形式化分析,根据分析结果确定所述目标软件系统的安全状态。本申请能够提升对软件系统进行安全分析的全面性、准确性与有效性。
天眼查资料显示,中兴通讯股份有限公司,成立于1997年,位于深圳市,是一家以从事计算机、通信和其他电子设备制造业为主的企业。企业注册资本478353.4887万人民币。通过天眼查大数据分析,中兴通讯股份有限公司共对外投资了105家企业,参与招投标项目12185次,财产线索方面有商标信息1888条,专利信息63517条,此外企业还拥有行政许可227个。
声明:市场有风险,投资需谨慎。本文为AI基于第三方数据生成,仅供参考,不构成个人投资建议。
来源:市场资讯