百毒不侵的电脑是怎样练成的?

• 作者: 徐令予
• 来源期刊: 中国计算机学会通讯
• 关键词: 形式化方法 程序验证 互联网 网络安全
• 年，卷（期）: 2017,（10）
• 所属期刊栏目: 专栏
• 页码范围: 51-53
• 页数: 3页
• 语种: 中文

摘要

2017年5月12日上午,全球人终于明白互联网上不全是音乐和鲜花.一个名为“永恒之蓝(WannaCry)”的勒索病毒袭击了全球上百个国家和地区使用微软Windows操作系统的电脑,让世人感叹,原来网上的江湖波谲云诡、危机四伏. 怎样打造攻不破、摧不垮、百毒不侵的电脑?怎样才能还网民太平?科学家们为了维持网络的稳定,真是操碎了心.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐令予	美国加利福尼亚大学洛杉矶分校	2	0	0.0	0.0