TY  - GEN
AU  - Song,Zhang
AU  - Li,Zhoujun
AU  - Dou,Wenhua
TI  - Different approaches for the formal definition of authentication property
ER  -