Song, Zhang. <br/><br/>
Different approaches for the formal definition of authentication property  [article] / 
Zhen Song, Zhoujun Li & Wenhua Dou.