Maurice H. ter Beek Corrado Moiso Marinella Petrocchi Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks. 31 2007 AICT http://doi.ieeecomputersociety.org/10.1109/AICT.2007.46 conf/aict/2007 db/conf/aict/aict2007.html#BeekMP07