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)
