Discovering concrete attacks on website authorization by formal analysis (bibtex)
by Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis
Reference:
Discovering concrete attacks on website authorization by formal analysis (Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis), In Journal of Computer Security, volume 22, 2014.
Bibtex Entry:
@Article{BansalBDM14,
  author = 	 {Chetan Bansal and Karthikeyan Bhargavan and Antoine Delignat-Lavaud and Sergio Maffeis},
  title = 	 {Discovering concrete attacks on website authorization by formal analysis},
  journal = 	 {Journal of Computer Security},
  year = 	 2014,
  volume = 	 22,
  number = 	 4,
  pages = 	 {601--657},
  month = 	 apr
}
Powered by bibtexbrowser