安全性公理

（计算机科学技术）

安全性公理（security axiom），计算机科学技术名词，经过人们长期反复实践的考验，不需要再加以证明的有关安全性的命题。