Cédric Llorens, Ahmed Serhrouchni. Security Verification of a Virtual Private Network over MPLS. In Dominique Gaïti, editor, Network Control and Engineering for QoS, Security and Mobility, IV, Fourth IFIP International Conference on Network Control and Engineering for QoS, Security and Mobility, Lannion, France, November 14-18, 2005, Proceedings. Volume 229 of IFIP, pages 339-353, Springer, 2005. [doi]
Abstract is missing.