1.正式的安全性原則模型的非正式的演示文稿。2.非正式的正式的安全性原則模型的演示文稿。3.A 邏輯上精餾技術的全部或部分系統電子資訊安全性原則，開發了以避免含糊不清和不一致之處，為以後的系統的開發階段形成一個良好的基礎。注： 安全性原則模型可能是正式的 （即 基於數學的原則上。)