Some of these problems are solved by SAEM (Security Attribute Evaluation Method) proposed by Butler [2002].

• Butler[2002]已经用SAEM的方法解决了其中的部分问题。