Discovering Concrete Attacks on Website Authorization by Formal Analysis. Bansal, C., Bhargavan, K., & Maffeis, S. In CSF, pages 247-262, 2012. IEEE Computer Society.
Discovering Concrete Attacks on Website Authorization by Formal Analysis. [link]Link  Discovering Concrete Attacks on Website Authorization by Formal Analysis. [link]Paper  bibtex   
@inproceedings{conf/csfw/BansalBM12,
  added-at = {2017-05-25T00:00:00.000+0200},
  author = {Bansal, Chetan and Bhargavan, Karthikeyan and Maffeis, Sergio},
  biburl = {https://www.bibsonomy.org/bibtex/26e8f4babadfc2fe47313cdb21d7b6bc8/dblp},
  booktitle = {CSF},
  crossref = {conf/csfw/2012},
  editor = {Chong, Stephen},
  ee = {http://doi.ieeecomputersociety.org/10.1109/CSF.2012.27},
  interhash = {6956d8e5fa04b31e3da1cb4efac23f8c},
  intrahash = {6e8f4babadfc2fe47313cdb21d7b6bc8},
  isbn = {978-1-4673-1918-8},
  keywords = {dblp},
  pages = {247-262},
  publisher = {IEEE Computer Society},
  timestamp = {2019-10-17T15:57:00.000+0200},
  title = {Discovering Concrete Attacks on Website Authorization by Formal Analysis.},
  url = {http://dblp.uni-trier.de/db/conf/csfw/csf2012.html#BansalBM12},
  year = 2012
}

Downloads: 0