Computer security
计算机安全技术的基础是逻辑学。安全性并非是大部分的计算机应用的主要目的，而在设计时就考虑程序的安全性常常会对程序的运行有所限制。