Assumption-Based Analysis of Distance-Bounding Protocols with cpsa.

Paul D. Rowe Joshua D. Guttman John D. Ramsdell

Published in: Logic, Language, and Security (2020)

Keyphrases

real time
knowledge base
statistical analysis
machine learning
information retrieval
website
data structure
artificial neural networks
evolutionary algorithm
distance measure
distance metric
distributed databases