@inproceedingsFG2015, 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} @COMMENTBibtex file generated on