@inproceedings{DBLP:conf/cis/LiXLZ09,
  author    = {Guoqi Li and
               Yang Xiao and
               Minyan Lu and
               Yuchao Zhang},
  title     = {A Formal Method Based Case Study for Access Control},
  booktitle = {CIS (2)},
  year      = {2009},
  pages     = {460-463},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/CIS.2009.219},
  crossref  = {DBLP:conf/cis/2009-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/cis/2009-2,
  title     = {2009 International Conference on Computational Intelligence
               and Security, CIS 2009, Beijing, China, 11-14 December 2009,
               Volume 2 - Workshop Papers},
  booktitle = {CIS (2)},
  publisher = {IEEE Computer Society},
  year      = {2009},
  isbn      = {978-0-7695-3931-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}