Michele Bugliesi, Stefano Calzavara, Riccardo Focardi. Formal methods for web security. Journal of Logic and Algebraic Programming, 87:110-126, 2017. [doi]
@article{BugliesiCF17, title = {Formal methods for web security}, author = {Michele Bugliesi and Stefano Calzavara and Riccardo Focardi}, year = {2017}, doi = {10.1016/j.jlamp.2016.08.006}, url = {http://dx.doi.org/10.1016/j.jlamp.2016.08.006}, researchr = {https://researchr.org/publication/BugliesiCF17}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {87}, pages = {110-126}, }