@InProceedings{CHJ04,
  author = 	 {Chatterjee, Krishnendu and Henzinger, Thomas A. and
                  Jurdzi{\'n}ski, Marcin},
  title = 	 {Games with Secure Equilibria},
  booktitle = 	 {Proceedings, Nineteenth Annual IEEE Symposium on
                  Logic in Computer Science, LICS 2004},
  OPTcrossref =  {},
  OPTkey = 	 {},
  pages = 	 {160--169},
  year = 	 {2004},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {IEEE Computer Society Press},
  OPTnote = 	 {},
  OPTannote = 	 {}
}