安全性与正确性