Sécurité du logiciel : introduction et études de cas