专访耶鲁大学邵中：一个“没有BUG”的反黑客操作系统，如何为自动驾驶保驾护航？ | CCF-GAIR 2017-你可以想象一个安全的、被验证的、没有bug的、黑客不能攻击的操作系统是怎样的。