The design principles for avoiding the attack on the security properties were discussed and formalized into inference rules.

• 讨论了避免攻击的安全属性设计原则，并通过形式化的方法表示出来。