@inproceedings{FG2015,
Author = {Fröschle, Sibylle and Gewald, Peter},
Title = {Analysis of the HIS Security Module},

Year = {2015},
Booktitle = {Analysis of Security APIs (ASA'15)},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }