Research on formal security policy model specification and its formal analysis
Li-ping LI,Si-han1 QING,Zhou-yi ZHOU,EJian-bo H,ENHong-zi W
Journal on Communications . 2006, (6): 94 -101 .  DOI: 1000-436X(2006)06-0094-08