Influence de la qualité des spécifications sur la sécurité logicielle