Formal proof of security algorithms based on reachability reduction.

Mohamed Bouziane Sophie Gire François Monin Laurent Nana

Published in: MEDES (2016)

Keyphrases

formal proof
data structure
theoretical analysis
neural network
learning algorithm
information systems
computationally efficient
computational complexity
intrusion detection
orders of magnitude
network security
data sets
computer vision
computational cost
times faster