Different approaches for the formal definition of authentication property - Song, Zhang; Li, Zhoujun; Dou, Wenhua