Dans cet ouvrage, nous abordons le problA]me de la vA(c)rification de protocoles de sA(c)curitA(c). Plus spA(c)cifiquement, nous proposons une mA(c)thode gA(c)nA(c)rale de spA(c)cification et de validation pour cette famille de protocoles, qui inclue les protocoles cryptographiques. Nous prA(c)sentons une nouvelle algA]bre de processus, nommA(c)e SPPA, qui permet une spA(c)cification explicite des A(c)changes de messages entre les participants d''un protocole et des manipulations cryptographiques accomplies par chacun. Une extension symbolique de cette algA]bre de processus est A(c)galement...