@inproceedings{conf/ccs/BhargavanFGS08,
title = {Verified implementations of the information card federated identity-management protocol.},
author = {Karthikeyan Bhargavan and Cédric Fournet and Andrew D. Gordon and Nikhil Swamy},
booktitle = {ASIACCS},
crossref = {conf/ccs/2008asia},
editor = {Masayuki Abe and Virgil D. Gligor},
pages = {123-135},
publisher = {ACM},
url = {http://dblp.uni-trier.de/db/conf/ccs/asiaccs2008.html#BhargavanFGS08},
year = {2008},
description = {dblp},
date = {2008-05-15}, ee = {http://doi.acm.org/10.1145/1368310.1368330}, isbn = {978-1-59593-979-1},
keywords = {dblp }
}
::