Analyse des protocoles cryptographiques: des modèles symboliques aux modèles calculatoires
Les protocoles de sécurité sont des programmes informatiques qui définissent des règles d'échange entre les points d'un réseau et permettent de sécuriser les communications. Ils sont utilisés par exemple dans les distributeurs de billets, les abonnements aux chaînes de télévision payantes,...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Institut National Polytechnique de Lorraine - INPL
2009
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00578816 http://tel.archives-ouvertes.fr/docs/00/57/88/16/PDF/hdr-final.pdf |