Browser Model for Security Analysis of Browser-Based ProtocolsThomas Groß, Ahmad‐Reza Sadeghi, Birgit Pfitzmann|Lecture notes in computer science|2005Cited by 42