Karthikeyan Bhargavan Cédric Fournet Andrew D. Gordon Nikhil Swamy Verified implementations of the information card federated identity-management protocol. 123-135 2008 ASIACCS http://doi.acm.org/10.1145/1368310.1368330 conf/ccs/2008asia db/conf/ccs/asiaccs2008.html#BhargavanFGS08