操作系统的安全性

怎样证明操作系统的安全性  ( 从数学的角度讲)