Contributed talk 8: Analysis of the IBM CCA Security API Protocols in Maude-NPA.

No ratings

Presented at SSR 2014 by

Catherine Meadows

Antonio Gonzalez

Sonia Santiago

Santiago Escobar

Jose Meseguer.

N/A