Apurva Kumar. Using automated model analysis for reasoning about security of web protocols. In Robert H'obbes' Zakon, editor, 28th Annual Computer Security Applications Conference, ACSAC 2012, Orlando, FL, USA, 3-7 December 2012. pages 289-298, ACM, 2012. [doi]
@inproceedings{Kumar12-7, title = {Using automated model analysis for reasoning about security of web protocols}, author = {Apurva Kumar}, year = {2012}, doi = {10.1145/2420950.2420993}, url = {http://doi.acm.org/10.1145/2420950.2420993}, researchr = {https://researchr.org/publication/Kumar12-7}, cites = {0}, citedby = {0}, pages = {289-298}, booktitle = {28th Annual Computer Security Applications Conference, ACSAC 2012, Orlando, FL, USA, 3-7 December 2012}, editor = {Robert H'obbes' Zakon}, publisher = {ACM}, isbn = {978-1-4503-1312-4}, }