@inproceedings{DBLP:conf/sp/ChenMeseguerSasseWangWangSWW07,
  author    = {Shuo Chen and
               Jos{\'e} Meseguer and
               Ralf Sasse and
               Helen J. Wang and
               Yi-Min Wang},
  title     = {A Systematic Approach to Uncover Security Flaws in GUI Logic},
  booktitle = {IEEE Symposium on Security and Privacy},
  year      = {2007},
  pages     = {71-85},
  ee        = {http://dx.doi.org/10.1109/SP.2007.6},
  crossref  = {DBLP:conf/sp/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sp/2007,
  title     = {2007 IEEE Symposium on Security and Privacy (S{\&}P 2007),
               20-23 May 2007, Oakland, California, USA},
  booktitle = {IEEE Symposium on Security and Privacy},
  publisher = {IEEE Computer Society},
  year      = {2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}