 

新闻第83页

新闻

阿里云DNS形式化验证论文入选国际计算机系统顶级会议SOSP’23

近日，阿里云和北京大学合作的论文《Automated Verification of an In-Production DNS Authoritative Engine》（DNS 产品级解析服务的自动化验证）被国际计算机系统顶级会议SOSP...

2023年10月26日，全球领先的企业级开源解决方案提供商红帽公司宣布了2023红帽亚太创新奖中国区获奖名单。在2023 Red Hat Summit：Connect（红帽论坛）中国站上，华晨宝马、南方基金、正泰安能和摩根士丹利获得奖项，这...

在当今纷繁复杂的网络安全市场中，多种多样的安全产品和解决方案可能会让人眼花缭乱。但如果安全战略中最重要的部分并不是安全产品呢？作为一家大型PC制造商，戴尔科技高度重视安全问题。近年来，随着勒索软件攻击所带来的毁灭性后果和基于固件的恶意软件...

近日，全球权威咨询机构Gartner正式发布报告《2023中国安全技术成熟度曲线》（Hype Cycle for Security in China, 2023）。瑞数信息凭借近年来在云安全方向的优异表现，继2022年入选后，再度成为中国云...

近日，VMware（NYSE：VMW）宣布VMware跨云服务正式上架Oracle云市场（Oracle Cloud Marketplace）。VMware客户可以通过Oracle云基础架构（Oracle Cloud Infrastructu...

2023年10月25日:Veritas宣布,微软成为其首个通过Veritas REDLab安全解决方案验证的Veritas 360 Defense合作伙伴。在Veritas REDLab隔离测试实验室用真实环境的恶意软件对Microsof...

PowerMax提供更强大的数据缩减功能、实时功耗仪表板和业界领先的AI驱动的网络安全。近日，戴尔科技集团发布了PowerMax的最新增强功能。PowerMax是针对任务关键型工作负载的持续现代化高密度存储。在Dell PowerMax ...

加快发展新质生产力,必须坚持科技创新引领,实现人才强、科技强进而促进产业强、经济强。科技创新,需要与时俱进,紧跟变化,才能实现高质量的发展突破。当前,人工智能技术加速了科学研究的范式变革,带来科研模式的重构和新一轮科技革命,也对科研基础设...

物联网已成为无锡市的一张“城市名片”。在加速疾驰的数智化时代，以物联网、平台软件为龙头的集群产业将驶向哪个方向？随着变革的深化，信创产业又该如何夯基筑本、聚势谋远？ 10月22日，在2023世界物联网博览会召开之际，由江苏省工业和信息化厅指...

IDC2023年第二季度《中国企业级外部存储市场报告》显示，上半年中国企业级存储市场销售额小幅增长0.7%，出货量容量达到10.1EB。其中，浪潮信息存储整体销售额、出货量双双挺进中国第二;在高端存储、全闪存储等高价值细分领域，浪潮信息存储...