精选|Fred Schneider：关于安全的科学？

“21世纪的计算”大会

“二十一世纪的计算”学术研讨会是微软亚洲研究院自成立之初便开始举办的年度学术盛会。作为中国及亚太地区规模最大、最具影响力的计算机科学教育与研究盛会之一，迄今为止该大会已在中国、日本、韩国、新加坡等多个国家和地区成功举办了17届，参会人数累计超过40,000人。

11月3日，以“Human and Machine Working as a Team”（人机协作）为主题的第18届“二十一世纪的计算”学术研讨会于韩国首尔举行，包括2002年图灵奖获得者Adi Shamir、微软全球资深副总裁Peter Lee、微软全球资深副总裁，微软亚太研发集团主席兼微软亚洲研究院院长洪小文博士在内的众多计算机领域顶级大师，分享了他们各自独特且深远的见解。

以下这位演讲嘉宾，Fred Schneider，是康奈尔大学Samuel B. Eckert讲席教授兼计算机系主席，美国计算机协会（ACM）、电气电子工程师学会（IEEE）院士。为大家担任现场点评的是微软亚洲研究院首席研究员刘铁岩博士。其他演讲亦将陆续发布，敬请期待。

演讲者简介

Fred B. Schneider是康奈尔大学计算机科学系系主任及Samuel B. Eckert讲席教授。他的研究集中在可信系统的各个方面 - 系统如何在面临运行障碍和攻击的背景下按照预期执行。他早期的工作涉及到有关满可信计算规范的并发和分布式系统的设计与执行。他是这个主题下的两篇论文的作者：《并发编程》以及（与D. Gries合作完成的）《离散数学的逻辑方法》。他也以构建容错分布式系统的理论和算法研究而闻名。最近，他的兴趣转向系统安全领域，有关基于防御措施下的政策研究的论著被广泛引用，这一著作也被视为推进有关计算安全的新兴科学发展的基础。他还参与了提高系统可信度的法律和经济措施方面的研究。

Schneider分别是美国科学进步协会（1992年），美国计算机协会（1995年）和电气电子工程师协会（2008年）的院士。他于1996年在特罗姆瑟大学（挪威）被任命为普通大学教授，并于2003年获得了纽卡斯尔大学颁发的荣誉学博士学位，因为他在计算机可靠性和安全性方面的贡献，他获得了2012年电气电子工程师协会Emanuel R. Piore奖，该奖项旨在鼓励“通过安全，容错和并发和分布式系统的方式为可信计算做出贡献”。美国国家工程院在2012年任命Schneider为院士，挪威科学院在2010年任命他为外籍院士。

点评人简介

刘铁岩博士，微软亚洲研究院首席研究员，美国卡内基梅隆大学（CMU）客座教授、英国诺丁汉大学荣誉教授、中国科技大学、中山大学、南开大学博士生导师。刘博士的研究兴趣包括：人工智能、机器学习、信息检索、数据挖掘等。他的先锋性工作促进了机器学习与信息检索之间的融合，被国际学术界公认为“排序学习”领域的代表人物，他在该领域的学术论文已被引用万余次，并受Springer出版社之邀撰写了该领域的首部学术专著（并成为Springer计算机领域华人作者的十大畅销书之一）。

近年来，刘博士在博弈机器学习、深度学习、分布式机器学习等方面也颇有建树，他的研究工作多次获得最佳论文奖、最高引用论文奖、研究突破奖，被广泛应用在微软的产品和在线服务中，并通过DMTK、Graph Engine等项目开源。他曾受邀担任了包括SIGIR、WWW、NIPS、KDD、AAAI、WINE等在内的十余个顶级国际会议的组委会主席、程序委员会主席或领域主席；以及若干顶级国际期刊的副主编。他是美国计算机学会（ACM）杰出科学家、国际电子电气工程师学会（IEEE）和中国计算机学会（CCF）的高级会员，中国计算机学会的杰出演讲者和学术工委。

微软亚洲研究院：现在登台的是Fred Schneider教授。Fred教授的演讲标题是A Science of Security?

刘铁岩：Fred B. Schneider教授开讲“计算机安全”科学。Security是一个很重要的课题，但Security到底是工程学科还是一门科学，如何用科学的视角（定律）来重新界定Security的攻击、防御和策略，都是仍在讨论的题目。 

微软亚洲研究院： 如今的网络安全主要侧重于防御已知的攻击。我们先对最新的攻击进行研究，再找出一个补丁来防御它。 因此我们的防御只有在攻击被破解后才能得以改善。这实际上可以被视为确保攻击者成功攻击的秘诀，而不是实现可信系统之路。我们应该拥有的系统，要做到防患于未然、提前将攻击挡在门外。 然而今天我们缺乏实现这样的网络安全的科学基础。关于安全的科学必须包括攻击、防御机制和安全属性这三方面的研究，安全科学负责归纳总结这些关系。Fred的演讲将讨论这些规律，并提出有关未来探索途径的建议。

刘铁岩：Schneider教授从何为科学谈起，关注于抽象出一组可以预测系统行为的定律。希望这些定律可以有实用价值，又可以解释目前观测到的现象。

刘铁岩：基本的方法论是先从现实中抽象出模型，再从模型中总结出定律。

刘铁岩： 那么，对于网络安全而言，到底我们要关心哪些定律呢？具体而言，是要去关心与攻击、防御、策略及其相互关系有关的定律。

刘铁岩： policy描述的是：系统应该做什么，不应该做什么；attack指的是：可以导致规范被打破的特定输入；defense则是指，保证policy不被攻破的方法。

刘铁岩：Schneider教授随后以access control mechanism, information flow policy, execution monitoring为例，进一步阐述哪些定律要被考虑和研究，并且和传统科学（如物理）进行了类比。

刘铁岩： Schneider教授讨论了网络安全和计算机科学的关系 - 如果网络安全可以被现有计算机科学所涵盖，那网络安全就不必作为独立的科学分支存在了。他从formal methods, replication/masking, crypography三个计算机科学领域与网络安全最相关的方面入手，阐述了现有计算机科学方法论的不足，并提出需要建立新的foundations，例如：需要考虑系统各组分之间的依赖关系、需要理解execution的意义、需要把cost引进信息论等等。总之，网络安全如果要作为一个独立的自洽的科学分支，还有很多基本问题要解决。

总的说来，虽然Schneider教授的报告围绕网络安全展开，他的思路和视角具有更广泛的意义。例如，如果我们反思计算机科学本身，就会发现，虽然我们叫它computer science，但它其实更像是computer engineering，它的很多研究问题并没有严格的科学界定。如果我们能从工程细节里走出来、多做些科学思辨，计算机科学应该会有更长足、稳健的发展。

微软亚洲研究院： 最后，Schneider教授给大家提供了一页阅读材料推荐。

Schneider教授的演讲到此结束，关于计算机科学的思考值得继续，欢迎有兴趣的读者留言或通过文章结尾附带的电子邮件提出你们的看法。

你也许还想看：

• 感谢你关注“微软研究院AI头条”，我们期待你的留言和投稿，共建交流平台。来稿请寄：[e-mail]。

微软小冰进驻微软研究院微信啦！快去主页和她聊聊天吧。