Cathy Meadows: A Central Figure in Protocol Analysis.

Published in: Foundations of Security, Protocols, and Equational Reasoning (2019)

Keyphrases

neural network
decision making
data analysis
image analysis
database
databases
search engine
computer vision
multi agent
multiresolution
low cost
statistical analysis
formal analysis