@INPROCEEDINGS {13629,
author={P. Adão and RF Focardi and FLL Luccio},
doi={10.1109/CSF.2013.14},
booktitle={IEEE Computer Security Foundations Workshop - CSFW},
title={Type-Based Analysis of Generic Key Management APIs},
year={2013},
month={June},
volume={},
pages={97-111} 
}