The Design Principles of Software Safety.

• 软件安全性的设计原则。