Guoqi Li Yang Xiao Minyan Lu Yuchao Zhang A Formal Method Based Case Study for Access Control. 460-463 2009 CIS (2) http://doi.ieeecomputersociety.org/10.1109/CIS.2009.219 conf/cis/2009-2 db/conf/cis/cis2009-2.html#LiXLZ09