Apurva Kumar. A Lightweight Formal Approach for Analyzing Security of Web Protocols. In Angelos Stavrou, Herbert Bos, Georgios Portokalidis, editors, Research in Attacks, Intrusions and Defenses - 17th International Symposium, RAID 2014, Gothenburg, Sweden, September 17-19, 2014. Proceedings. Volume 8688 of Lecture Notes in Computer Science, pages 192-211, Springer, 2014. [doi]
Abstract is missing.