BibTeX
@inproceedings{DBLP:conf/safecomp/CheikhrouhouRSSL06,
author = {Lassaad Cheikhrouhou and
Georg Rock and
Werner Stephan and
Matthias Schwan and
Gunter Lassmann},
title = {Verifying a Chipcard-Based Biometric Identification Protocol
in VSE},
booktitle = {SAFECOMP},
year = {2006},
pages = {42-56},
ee = {http://dx.doi.org/10.1007/11875567_4},
crossref = {DBLP:conf/safecomp/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/safecomp/2006,
editor = {Janusz G{\'o}rski},
title = {Computer Safety, Reliability, and Security, 25th International
Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29,
2006, Proceedings},
booktitle = {SAFECOMP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4166},
year = {2006},
isbn = {3-540-45762-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2006-11-06 by Michael Ley (ley@uni-trier.de)