Verified implementations of the information card federated identity-management protocol (bibtex)
by Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Nikhil Swamy
Reference:
Verified implementations of the information card federated identity-management protocol (Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Nikhil Swamy), In ACM Symposium on Information, Computer and Communications Security (ASIACCS), 2008.
Bibtex Entry:
@inproceedings{BhargavanFGS08,
  author    = {Karthikeyan Bhargavan and
               C{\'e}dric Fournet and
               Andrew D. Gordon and
               Nikhil Swamy},
  title     = {Verified implementations of the information card federated
               identity-management protocol},
  booktitle = {ACM Symposium on Information, Computer
               and Communications Security (ASIACCS)},
  year      = {2008},
  pages     = {123-135},
  ee        = {http://doi.acm.org/10.1145/1368310.1368330},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
Powered by bibtexbrowser