Pramila Mouttappa: A symbolic-based passive testing approach to detect vulnerabilities in networking systems. ([Une approche symbolique basée sur des tests passifs pour détecter les vulnérabilités des systèmes réseaux]). Telecom & Management SudParis, Évry, Essonne, France 2013