Thomas Groß, Birgit Pfitzmann, Ahmad-Reza Sadeghi. Proving a WS-federation passive requestor profile with a browser model. In Ernesto Damiani, Hiroshi Maruyama, editors, Proceedings of the 2nd ACM Workshop On Secure Web Services, SWS 2005, Fairfax, VA, USA, November 11, 2005. pages 54-64, ACM, 2005. [doi]
Abstract is missing.