新闻动态
望安科技受邀参加中国图灵大会,共同发布矽望社区开源操作系统
来源: | 作者:望安科技 | 发布时间: 16天前 | 104 次浏览 | 分享到:



ACM中国图灵大会


      2024年7月5日,第六届ACM中国图灵大会(ACM Turing Award Celebration Conference TURC 2024)在长沙正式举行。本届大会由ACM(国际计算机学会)主办,CCF(中国计算机学会)协办,长沙市人民政府、湖南大学承办,湖南省科学技术厅、湖南省科学技术协会、长沙市科学技术局共同指导。

图:开幕式现场


      国际计算机学会(ACM)是世界上最大的计算机领域专业性学术组织,成立于1946年。迄今为止,国际计算机学会(ACM)中国图灵大会已在上海、成都、合肥、武汉成功举办五届,上万名计算机和人工智能领域相关人士参与大会。本次大会围绕“感联智信,数创未来”主题,邀请国内外学术专家和教授做主旨报告,分享他们对尖端技术和人工智能的看法,探讨计算科学的未来。




矽望社区开源操作系统



      望安科技创始人、浙江大学教授——赵永望,受邀参加了本次图灵大会,并在大会上作了《操作系统形式化验证技术、工具和应用》的报告,介绍了国产操作系统形式化验证和安全认证的最新进展共同发布矽望社区开源操作系统


      随着数字化转型的加速,操作系统作为连接软件和硬件的关键桥梁,其安全性和可靠性成为国家信息技术自主可控战略的核心。对国产操作系统而言,采用形式化验证技术有助于提升其可信度,尤其在军事、金融、电信等对安全具有极高要求的领域。通过形式化验证,能够系统地检查软件设计,确保代码符合预期的安全规范,这对于构建可信的国产操作系统至关重要。


      未来,矽望社区将作为一个开放平台,鼓励开发者和研究者共同参与,促进国产操作系统的创新发展。望安科技作为系统形式化验证与安全认证的推动者,也将深度参与社区发展,开展矽望开源操作系统的形式化验证,推动国产开源操作系统的安全可靠性提升,为构建更加安全可靠的数字中国贡献力量!


—END—



浙江望安科技有限公司

浙江望安科技有限公司是以“形式化验证”和“安全认证”为核心的安全服务及产品提供商。公司致力于为国家重大项目、关键系统及行业企业提供安全保障。业务覆盖航空航天、国防、轨道交通、区块链、物联网、工业控制、芯片设计、操作系统、数据库等重大行业。


公司提供信息技术安全评估标准CC EAL1-EAL7级安全保障级别、IEC 61508、ISO 26262、GM/T国密以及FIPS等高等级安全认证咨询与技术服务,已与国内外多个认证/检测机构建立联合实验室、签署合作协议等。公司拥有自主知识产权的软件源码形式化测试与验证工具W-AVC、基础软硬件形式化建模与验证工具W-Cert、CC安全认证全周期实施平台W-CaaS等工具平台。公司核心技术和工具已应用于载人航天工程、中航工业集团、航天科技集团、航天科工集团、中国信科、小米科技、中国移动、中科海微、元心科技等,覆盖国家重点行业及企业。

NEWS