Sadeghi, Ahmad-Reza ; Groß, Thomas ; Pfitzmann, Birgit (2005):
Browser Model for Security Analysis of Browser-Based Protocols.
European Symposium for Research in Computer Science (ESORICS), [Conference or Workshop Item]

Sadeghi, Ahmad-Reza ; Groß, Thomas ; Pfitzmann, Birgit (2005):
Browser Model for Security Analysis of Browser-Based Protocols.
[Book]

Sadeghi, Ahmad-Reza ; Groß, Thomas ; Pfitzmann, Birgit (2005):
Browser Model for Security Analysis of Browser-Based Protocols.
In: European Symposium for Research in Computer Science (ESORICS),
[Conference or Workshop Item]

Sadeghi, Ahmad-Reza ; Groß, Thomas ; Pfitzmann, Birgit (2005):
Browser Model for Security Analysis of Browser-Based Protocols.
(RZ3600), [Report]

Sadeghi, Ahmad-Reza ; Groß, Thomas ; Pfitzmann, Birgit (2005):
Proving a WS-Federation Passive Requestor Profile with a Browser Model.
Workshop on Secure Web Services (SWS), [Conference or Workshop Item]

Sadeghi, Ahmad-Reza ; Groß, Thomas ; Pfitzmann, Birgit (2005):
Proving a WS-Federation Passive Requestor Profile with a Browser Model.
In: Workshop on Secure Web Services (SWS),
[Conference or Workshop Item]