![](/img/cover-not-exists.png)
[IEEE 2013 IEEE 26th Computer Security Foundations Symposium (CSF) - New Orleans, LA, USA (2013.06.26-2013.06.28)] 2013 IEEE 26th Computer Security Foundations Symposium - Type-Based Analysis of Generic Key Management APIs
Adao, Pedro, Focardi, Riccardo, Luccio, Flaminia L.Year:
2013
Language:
english
DOI:
10.1109/csf.2013.14
File:
PDF, 586 KB
english, 2013