@InProceedings{sabas09,
author = {J.~Lloyd and J.~{J}{\"u}{r}jens},
title = {Security Analysis of a Biometric Authentication System using {UMLsec}
and {JML}},
booktitle = {Model Driven Engineering Languages and Systems, 12th International
Conference, {MODELS} 2009, Denver, CO, USA, October 4-9, 2009. Proceedings},
year = {2009},
volume = {5795},
series = {Lecture Notes in Computer Science},
pages = {77--91},
publisher = {Springer},
crossref = {DBLP:conf/models/2009},
file = {preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/models09.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/chapter/10.1007/978-3-642-04425-0_7:URL},
keywords = {internationalConferences, secureSoftwareEngineeringIndustrialApplications},
url = {https://doi.org/10.1007/978-3-8348-9788-6\_9},
doi = {10.1007/978-3-8348-9788-6\_9},
}
BibTeX DOI preprint dblp SpringerLink