by Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud and Sergio Maffeis
Reference:
Discovering concrete attacks on website authorization by formal analysis (Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud and 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
}