Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties.

Santiago Escobar Catherine A. Meadows José Meseguer

Published in: FOSAD (2007)

Keyphrases

real time
web services
data analysis
statistical analysis
information systems
high dimensional
data integration