User centricity: A taxonomy and open issuesAbhilasha Bhargav-SpantzelyJan Camenischet al.2006CCS 2006
Tailoring the Dolev-Yao abstraction to Web Services realities - A comprehensive wish listMichael BackesThomas Groß2005CCS 2005
Proving a WS-Federation passive requestor profile with a browser modelThomas GroßBirgit Pfitzmannet al.2005CCS 2005