@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},
	biburl = {http://www.bibsonomy.org/bibtex/2763cbe69123a549c7b0d47a1accbd438/dblp},
	description = {dblp},
	date = {2008-05-15}, ee = {http://doi.acm.org/10.1145/1368310.1368330}, isbn = {978-1-59593-979-1},
	keywords = {dblp }
}