Security Verification of a Virtual Private Network over MPLS.

Cédric Llorens Ahmed Serhrouchni

Published in: Net-Con (2005)

Keyphrases

virtual private network
network management
model checking
signature verification
neural network
multi agent
data management
computer networks
formal analysis
java card
high security