返回首页
您的位置:首页 > 新闻 > CCF聚焦

武成岗:安全操作系统的构建与评测 | CNCC专家谈

阅读量:164 2023-09-11 收藏本文

图片




在即将于今年10月26-28日在沈阳举办的CNCC2023期间,在129个涵盖人工智能、安全、计算+、软件工程、教育、网络、芯片、云计算等30个热门专业领域的技术论坛上,包括国际知名学者、两院院士、产学研各界代表在内的700余位报告嘉宾将着力探讨计算技术与未来宏观发展趋势,为参会者提供深度的学术和产业交流机会,当中不乏在各领域深具影响力的重磅学者专家亲自担纲论坛主席。


本专题力邀CNCC2023技术论坛主席亲自撰稿,分享真知灼见,带你提前走进CNCC,领略独特专业魅力!


CNCC早鸟票火热进行中,限期优惠,早鸟票购票成功更有机会获得炙手可热的“CCF会员之夜”入场资格,敬请尽快报名!


图片


图片



本期特别嘉宾:

武成岗  CCF体系结构专委主任、中国科学院计算所研究员


中国计算机学会


作者:CNCC2023【安全操作系统的构建与评测】技术论坛主席 武成岗


操作系统安全是当今信息技术领域中无可忽视的核心要素,关乎着整个数字化社会的稳定与繁荣。在当今这个高度互联的时代,我们的生活、工作、交流和交易几乎都离不开计算机系统,而操作系统安全则是支撑这一切的基石。操作系统作为计算机硬件和软件之间的纽带,负责管理和分配资源,确保不同应用程序和用户之间的隔离和稳定运行。一旦操作系统的安全性受到威胁,恶意软件、病毒和黑客攻击等就可能找到入口,危及整个系统的正常功能,可能导致系统崩溃、数据损坏甚至信息泄露,从而造成不可挽回的损失。此外,随着计算机系统之间的网络连接越来越密切,操作系统的弱点可能会被黑客用来渗透、传播恶意软件或者发动网络攻击。通过加强操作系统的安全性,可以有效减少这些威胁,维护整个网络生态的健康运转。总的来说,操作系统安全涵盖了计算机系统的稳定性、个人隐私的保护以及整个数字社会的安全运行。加强操作系统的安全性,对于应对日益复杂和多样化的安全挑战至关重要。


为了加强和提升操作系统的安全性,国际组织采取了一系列措施,其中引入合规性安全标准是关键之一。合规性安全标准旨在规范操作系统和软件的开发、测试和运行过程,以确保它们满足一定的安全要求,从而减少潜在的漏洞和风险。


图片

 信息系统安全规范的发展过程


TCSEC("Trusted Computer System Evaluation Criteria",也被称为“Orange Book”)是美国国防部于1983年发布的一套安全性准则,用于评估和认证计算机系统的安全性能。而后加拿大推出了CTCPEC,英、法、德、荷推出了ITSEC。1996年,由国际电工委员会(IEC)和国际标准化组织(ISO)于1996年共同发布了Common Criteria(通用标准,CC)。我国于1999年推出了GB17859,2015年推出了GB18336。CC标准应用最为广泛,它将系统的安全性分为7个等级,并定义了一系列的安全功能需求和评估方法。通过对操作系统和软件进行基于CC的评估,可以指导开发者改进产品的安全性。这些合规性安全标准的引入,为操作系统和软件的开发提供了指导和标准,有助于提高系统的整体安全性和可信度。


但合规性安全并不意味着安全问题得以妥善解决,原因是合规的操作系统依然会存在安全漏洞。以下是一些可能导致安全漏洞的主要原因:


(1)现代操作系统内核规模已达到数千万行代码,模块间的交互极为复杂,如此庞大的代码中,即使开发人员严格遵循合规性标准,也因模块间的交互的细节不一致而导致漏洞的存在。


(2)安全威胁是不断演化的,新的攻击技术和漏洞可能在合规性标准发布之后才被发现。合规性标准通常会有一定的滞后性,无法即时适应新出现的威胁,这意味着合规的操作系统仍可能存在安全问题。


(3)尽管有合规性标准,但实际操作中可能出现对标准的不完全理解或者不正确实施的情况。如果开发者或监管机构没有充分理解并正确遵循合规性要求,那么即使通过了认证,系统仍可能存在安全漏洞。


关于如何防御漏洞,在2010年前后,出现了两个观点的争论。早期内核社区认为Security bugs are just bugs,Linux之父Linus Torvalds建议发现并及时修复即可。而在Canonical负责Ubuntu Kernel Hardening的Kees Cook提出“Security is more than bug fixing”,建议采用主动防御机制提前发现问题,或封堵漏洞利用路径。2015年后,人们逐步接受了Kees Cook的思想,开始对操作系统内核进行安全加固。


因此,提升操作系统的安全性,除了进行合规性评测外,还需要在操作系统内部机制中,构建防利用机制,阻断攻击渠道。同时,还应该提供一种关于抗攻击能力的评测标准和手段,促使操作系统开发人员从抗攻击的角度完善操作系统。


本论坛邀请了来自于国内操作系统安全创新团队、操作系统厂家、和测评机构的专家,介绍最新的研究成果,研讨操作系统抗攻击能力的构建和评测的方法。如果你想了解这个方面的最新进展,敬请关注今年10月28日下午CNCC的“安全操作系统的构建与评测”技术论坛,共同探讨操作系统抗攻击能力的构建方法和评测机制。


识别下方二维码,立即参会报名CNCC


图片

 


论坛名称:安全操作系统的构建与评测

举办时间:10月28日下午

论坛主席:武成岗 CCF体系结构专委主任、中国科学院计算所研究员



顺序

主题

主讲嘉宾

单位

1

打造抗攻击的操作系统内核

武成岗

中国科学院计算技术研究所

2

操作系统安全基本原则及加固实践

王喆

中国科学院计算技术研究所

3

基于攻击向量的操作系统内核抗攻击能力评估

文伟平

北京大学

4

基于攻防实践的内核漏洞防御体系评估

慕冬亮

华中科技大学

5

针对开源操作系统漏洞威胁的体系化治理方案

杨诏钧

麒麟软件有限公司

6

操作系统的安全实践与挑战

顾嘉辉

华为技术有限公司

7

关于操作系统安全检测与分析的实践建议

马金鑫

中国信息安全测评中心

8

TianZhuOS:面向未来数字基础设施的主动安全评估试验平台

翟立东

中国科学院信息工程研究所


想了解更多关于CNCC2023技术论坛信息,欢迎观看【CNCC会客厅】直播,我们将陆续邀请本届CNCC技术论坛的论坛主席或重磅嘉宾,围绕今年CNCC涉及到的热门话题进行研讨交流,亲自带观众走进CNCC,同时与观众进行交流互动,解答疑问。最新一期时间为9月9日(周六)19:30,马上一键预约,准时相约!


中国计算机学会,将在09月09日 19:30 直播CCF Talk CNCC会客厅 | 谭晓生主持,盖珂珂、顾为群、谭光明聚议技术论坛 !视频号



中国计算机学会中国计算机学会官方订阅号,为CCF会员及计算领域的专业人士服务。971篇原创内容公众号


图片

图片