Sign in
Analysis of the IBM CCA Security API Protocols in Maude-NPA.
Antonio González-Burgueño
Sonia Santiago
Santiago Escobar
Catherine A. Meadows
José Meseguer
Published in:
SSR (2014)
Keyphrases
</>
statistical analysis
data analysis
anomaly detection
operating system
risk analysis
forensic analysis