我仍然感到惊讶的是，安全性没有被嵌入到系统设计中，而且无法在真正意义上证明一个系统是安全的。总的来说，设计者经常把一些本应安全的程序片段组合在一起，然后就假设整个系统是安全的。这引出了许多问题。我们如何确信正在使用的模块在数学上确实正确？又...
问题 令我感到惊讶的是，安全并未被嵌入到系统设计中，而且无法在真正意义上展示其安全性的证明。总的来说，设计者常常把一些本应安全的程序片段组合在一起，然后假设整个系统是安全的。这引出了许多问题。我们如何确保所使用的模块在数学上确实正确？...
鸿途知科网
