Guttman, the other is Athena which is a new efficient automated approach for security protocol proposed by D. Song.

• 其二是Song在串空间模型上提出的Athena方法。