Protocol Analysis with Time.

Damián Aparicio-Sánchez Santiago Escobar Catherine A. Meadows José Meseguer Julia Sapiña

Published in: INDOCRYPT (2020)

Keyphrases

image analysis
statistical analysis
formal analysis
data sets
social networks
data analysis
multiresolution
sensor networks
database
neural network
machine learning
information systems
lightweight