Effective Sequential Protocol Composition in Maude-NPA.

Sonia Santiago Santiago Escobar Catherine A. Meadows José Meseguer

Published in: CoRR (2016)

Keyphrases

real time
lightweight
databases
data mining
cost effective