@misc{cryptoeprint:2005:127, author = {Thomas Groß and Birgit Pfitzmann and Ahmad-Reza Sadeghi}, title = {Browser Model for Security Analysis of Browser-Based Protocols}, howpublished = {Cryptology ePrint Archive, Report 2005/127}, year = {2005}, url = {http://eprint.iacr.org/2005/127}, }