Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Nikhil Swamy. Verified implementations of the information card federated identity-management protocol. In Masayuki Abe, Virgil D. Gligor, editors, Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2008, Tokyo, Japan, March 18-20, 2008. pages 123-135, ACM, 2008. [doi]
Abstract is missing.