Discovering Concrete Attacks on Website Authorization by Formal Analysis (bibtex)
by Chetan Bansal, Karthikeyan Bhargavan, Sergio Maffeis
Reference:
Discovering Concrete Attacks on Website Authorization by Formal Analysis (Chetan Bansal, Karthikeyan Bhargavan, Sergio Maffeis), In 25th IEEE Computer Security Foundations Symposium (CSF'12), 2012.
Bibtex Entry:
@InProceedings{BansalBM12,
  author = 	 {Chetan Bansal and Karthikeyan Bhargavan and Sergio Maffeis},
  title = 	 {Discovering Concrete Attacks on Website Authorization by Formal Analysis},
  booktitle = {25th IEEE Computer Security Foundations Symposium (CSF'12)},
  OPTpages = 	 {},
  year = 	 {2012},
  address = 	 {Cambridge, MA, USA},
  month = 	 jun,
  organization = {IEEE},
  pages = 	 {247--262},
  url = {http://prosecco.inria.fr/personal/karthik/pubs/discovering_concrete_attacks_csf12.pdf},
  PDF = {http://prosecco.inria.fr/personal/karthik/pubs/discovering_concrete_attacks_csf12.pdf}
}
Powered by bibtexbrowser