黑客已胜?哥伦比亚大学教授谈计算机安全问题

2009年,哥伦比亚大学计算机科学教授Steven Bellovin说:“任何人……找到解决计算机安全问题灵丹妙药的可能性恰好是零。问题大部分出自有缺陷的代码,造成缺陷的原因各异、也没有单一的解决方案。事实上,我很怀疑会有真正的解决方案;有缺陷的代码是计算机科学最古老的未解难题,我认为这不会改变”。

本月出任联邦贸易专署(FTC)首席技术专家的Bellovin,在IT领域服务多年,包括在新泽西州Florham Park的美国电话电报公司(AT&T)实验室从事研究二十余年。他在其生平中解释说:“我研究网络和安全,以及二者间的冲突”。

对计算机安全问题,未来会有彻底的解决方案吗?《政府技术》(GT)杂志向Belllovin问了这个问题和其他问题。他谨慎地指出,这些仅是他个人的意见,不一定是FTC的意见。

GT: 三年前,您说过有缺陷的代码是计算机科学最古老的未解难题,并预期不会改变。现在您的观点有无变化?看来,随着基础架构变得 “更聪明”,我们将成为坏人更大的靶子,而潜在危险的后果也严重得多。例如,一个交叉路口的交通灯故障,可以让车辆堵塞若干公里。

Bellovin: 是的,我的观点没有变。到底该做什么仍属研究领域;即使我有些想法,但都极不成熟。我认为我们需要采用不同的架构来建立系统,这些架构在设计时就考虑到将会有安全失误。身份认证做不到这一点,在大多数破坏中,坏人绕过了强身份认证、而不是攻破了认证。

我自己的实用哲学是:程序将有安全缺陷,其后果呢?但这是个研究课题,不是给程序员的指南,更不用说用于最终场合了。您刚才提到交通灯出毛病,您问得太对了:一个部件出故障,系统的退路是什么?

GT: 为什么缺陷代码问题这么棘手呢?

Bellovin: 根本问题在于,智力难以掌控程序的复杂性。举例来说,雷鸟(Thunderbird)电子邮件程序。几年前我检查时,该软件约有六百万行代码。(这是很粗的估算值;我只对准确到“百万”有信心,但到底是六百万、还是三百万或一千二百万行,我说不准)。

假定我想写些在总结行里显示附件数的代码。该代码部分将必须利用极其复杂的已有代码部分,来扫描并解析整个邮件以确定每个附件开始和结束的位置。(因为规格说明书特别复杂,代码本身复杂得可怕。)我对现有代码的理解不会错吧?不懂会闯祸吗?能有多少个附件呢?假定我今天读现有代码、觉得它不可能处理多于99个附件,因而用了两位数来显示。尔后,其他人在不了解我那些代码的情况下修改了代码以便允许9,999个附件。我那些代码就处理不了了,因而产生了一个缺陷。该缺陷会被黑客利用吗?可能会、也可能不会,但问题有可能从这里发生。

更好的设计也许是,让处理附件的代码有办法告诉程序的其他部分附件的上限数;但这意味着大量的前瞻性。有时,程序员具备足够的前瞻性,有时又会缺乏;或许过去程序员曾有过,但经过多年需求已经变更了。

除此之外,还有粗心大意。我想回顾一件35年前的事,那时我在研究院、教一门编程入门课。出于复杂但可以理解的原因,某学生在操作系统指令中用了一个分号。(用的是IBM主机、那是打孔卡片时代。)

分号在程序里是必须的,但在命令行语言中则是禁止的。然而,负责命令行部分的程序员没有预见到分号,结果在处理该指令时(即每当系统试图运行该学生的那组卡片时),整台主机崩溃。学生遭人白眼,但实际上应归咎于程序员,因为他理应把代码写得更好:当有人提交分号等垃圾时系统不至于崩溃。

当今的程序改善了很多,但离完美还很远。您也许听说过“SQL注入攻击”,问题的发生,在于程序员未曾处理意想不到的输入。(这一点,http://xkcd.com/327/ 有幽默阐述。)

困难在于,除了“把代码写得更好”(Write Better Code)之外,对复杂性难题我们没有什么好办法。(“我忘记了”是相对容易解决的。)如今,“把代码写得更好”可能极有帮助。微软公司过去十年里在此方面大笔投资,用于程序员教育、自动检查工具、代码复审团队等。确实有帮助,可谓获益良多,然而,从微软公司的关键缺陷修复率来看,这与他们的目标距离还很远。也有很多“把代码写得更好”的想法,从上世纪七十年代初起,我一直在关注着各种百灵药上市。不用说,问题尚未解决。

GT: 新一代互联网标准IPv6是不是弱点少一些呢?

Bellovin: 它有一些小改进,但没有根本性的。当初设计该标准时,我们曾寄予厚望。实际上,在1994年前后,有人曾宣称它会更安全。不幸的是,如他们所说,该声明是“无效的”,有几个原因:首先,我们所说的“更安全”实际上是“内置了加密”,即现在被称作IPsec的虚拟专用网(VPN)协议。

这有几个问题。其一,如今我们对不安全性有了更深刻的理解。密码学是好东西,但解决不了缺陷代码问题。(1998年,作为National Academies研究的一部分,我分析了当时已经发出的每条CERT建议,85%描述的都是加密无法解决的问题:代码问题、配置错误等等。)其次,我们当时假定IPv6会很快得到实行,但事实并不如愿。在过渡期间,每个推出的操作系统都在IPv4代码中加入IPsec支持。这冲淡了IPv6原有的优势。

但IPv6仍有一些好东西,例如增强私密地址(privacy-enhanced addressing)、纯v6网对扫描蠕虫(那些通过在某个IP地址范围找到所有宿主传播的恶意软件)的相对免疫性等。但这些不过是小优点,需要与互联网服务供应商及其网管对IPv6运行与跟踪经验相对不足来综合考量。(跟踪是指当机器使用增强私密地址、需要其他措施才能辨别时,回答“哪台机器干了那件坏事?”的问题。)

GT: 那么,假如缺陷代码和您提到的问题继续存在,我们该何去何从?

Bellovin: 不存在完美的事物,并不意味着不存在“较好”或“较坏”的区别。良好实践会令我们受益匪浅,但别以为这样能彻底解决问题。

时间: 2024-10-26 05:20:27

黑客已胜?哥伦比亚大学教授谈计算机安全问题的相关文章

Facebook聘纽约大学教授作人工智能实验室带头人

12月10日消息,据国外http://www.aliyun.com/zixun/aggregation/31646.html">媒体报道,Facebook公司计划扩大其研究实验室专攻人工智能技术,并已聘请纽约大学教授Yann LeCun作为实验室带头人. 据LeCun表示,实验室的目标是长期的:为了实现该领域的重大进展,实验室与纽约大学保持研究伙伴关系,以研究机器学习.数据科学和人工智能等领域为主.而Facebook首席执行官马克·扎克伯格计划在周一的一次行业会议上宣布这一消息,但LeCu

专访 | 杨强教授谈CCAI、深度学习泡沫与人工智能入门

7 月 22 - 23 日,由中国人工智能学会.阿里巴巴集团 & 蚂蚁金服主办,CSDN.中国科学院自动化研究所承办,作为独家直播合作伙伴的第三届中国人工智能大会(CCAI 2017)将在杭州国际会议中心盛大开幕. 作为大会主席,香港科技大学计算机与工程系主任.AAAI Fellow 杨强教授最近接受了大会记者专访.这次访谈干货满满,其中有不少话题是杨强教授首度公开谈及,比如下一个 AI 突破口.深度学习泡沫.AI 之路心得.本科生入门 AI.好学生要能教导师学习,等等. (点击阅读杨强教授历史

哥伦比亚大学数据科学课程笔记

第一周:什么是数据科学? 课程大纲 Rachel Schutt教授以梳理课程大纲开始,下面是她主要的摘要: 1. 课程需要的基础知识有:线性代数,基础统计学,以及一些编程课程. 2. 课程目标:学习数据科学家都做些什么,并学会做其中的一些事儿. 3. Rachel主讲几个礼拜的课,然后会有客席讲座. 4. 客座教授的简历跨度非常大,他们的背景也是如此.但他们都是数据科学家. 5. 我们将有丰富的阅读材料:做一名数据科学家的一种能力就是认识到许多还未记录下来的东西. 6. 差不多每两周一次家庭作业

二十一世纪的计算 | 康奈尔大学教授Fred B. Schneider开讲计算机安全

雷锋网(公众号:雷锋网)按:本文根据Fred B. Schneider教授在韩国"Computing in the 21st Century 2016"大会上所做报告<A Science of Cyber – Security?>以及微软亚洲研究院首席研究员刘铁岩博士的解说编辑整理而来,在未改变原意的基础上略有删减. Fred B. Schneider是康奈尔大学计算机科学系系主任及Samuel B. Eckert讲席教授.他是美国科学进步协会(1992年),美国计算机协会

卡耐基梅隆大学教授邢波:Petuum,大数据分布式机器学习平台

[CSDN现场报道]2014年12月12-14日,由中国计算机学会(CCF)主办,CCF大数据专家委员会承办,中科院计算所与CSDN共同协办,以推进大数据科研.应用与产业发展为主旨的 2014中国大数据技术大会 (Big Data Technology Conference 2014,BDTC 2014)暨第二届CCF大数据学术会议在北京新云南皇冠假日酒店盛大开幕. 2014中国大数据 技术大会首日全体会议中,卡耐基梅隆大学教授.ICML 2014程序主席邢波带来了名为"A New Platfo

卡耐基·梅隆大学教授金出武雄:对户外机器人三十年来的探索|CCF-GAIR 2017

雷锋网(公众号:雷锋网)按:7月7日,由中国计算机学会(CCF)主办,雷锋网与香港中文大学(深圳)承办的第二届CCF-GAIR全球人工智能与机器人峰会在深圳如期开幕.在大会第一天的AI学术前沿专场,卡耐基·梅隆大学教授.美国工程院院士金出武雄做了主题为"Smart robotic systems that work in real out door enviro-ments"(户外环境下的机器人系统)的大会报告. 金出武雄于1974年获得东京大学电子工学博士学位,是第一批计算机视觉的研

LadyGaga要当大学教授米德勒力挺其才艺双全

Lady Gaga 专题采写/本报记者展娟娟 "雷人教母"LadyGaga要转型当老师了.据美国<国家询问报>报道,LadyGaga日前已向纽约市某私立高校递交助理教授一职的申请,这也是她19岁辍学后第二次尝试申请大学教授工作.不过,三尺讲台不比绚丽舞台,向来以奇装异服博人眼球的Gaga要想在讲台上留得长久,还得拿出些真本事才行. 执教减压,提升个人形象 美国媒体报道称,Gaga早在19岁时就曾为了追逐音乐梦想,从纽约大学以文学艺术闻名的悌西学院辍学,现在,她终于下定决心把

大学教授被一家销售窃听电话的网站骗了1.8万元

今年4月2日,荆州市公安局网监支队侦查大队接一名大学教授报案,称被一家销售窃听电话的网站骗了1.8万元. 3月26日,该教授上网发现一个销售高科技仪器设备的网站,介绍了一款集窃听.智能商务理财.可透视相机等功能为一身的"手机王",称可同时对12路号码进行监听,并在对方关机或待机的情况下,清楚听到周围的一切声音. 教授向网站公布的银行账号汇去8800元现金的第二天,"送货员"打来电话称"手机王"是违禁品,需先交纳保证金.汇去1万元保证金后,教授又被

牛津大学教授用网游教数学

北京时间12月1日下午消息,据国外媒体今日报道,一名牛津大学教授称,网络游戏可以帮助孩子们培养学数学的兴趣. 马库斯·杜·桑托伊(Marcus du Sautoy)说,英国的高中数学教育面临"真正的危机",本来对数学还很感兴趣的孩子会"慢慢失去兴趣,感觉数学很无聊". 为了解决这个问题,他在一家游戏网站上讲起了"数学课".这家网站是托比·罗兰(Toby Rowland)创立的,桑托伊是该网站的顾问.罗兰同时还是世界上最大的网络游戏公司之一King