Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder

Francis Klay Judson Santiago Laurent Vigneron

Published in: CoRR (2007)

Keyphrases

significant improvement
computational cost
benchmark datasets
machine learning
database
real time
neural network
learning algorithm
social networks
preprocessing