Creating and sharing knowledge for telecommunications

Type-Based Analysis of Generic Key Management APIs

Adão, P. ; Focardi, RF ; Luccio, FLL

Type-Based Analysis of Generic Key Management APIs, Proc IEEE Computer Security Foundations Workshop - CSFW, New Orleans, United States, Vol. , pp. 97 - 111, June, 2013.

Digital Object Identifier: 10.1109/CSF.2013.14

Download Full text PDF ( 428 KBs)

Abstract