%0 Thesis %1 phd/hal/Turuani03 %A Turuani, Mathieu %D 2003 %K dblp %T Sécurité des protocoles cryptographiques : décidabilité et complexité.

@phdthesis{phd/hal/Turuani03, added-at = {2022-05-12T00:00:00.000+0200}, author = {Turuani, Mathieu}, biburl = {https://www.bibsonomy.org/bibtex/2d22d0a922dc95469b3c7f56355cee5da/dblp}, ee = {https://hal.archives-ouvertes.fr/tel-01746796}, interhash = {b1d604762b1ecdbbef8bc5bf02531be9}, intrahash = {d22d0a922dc95469b3c7f56355cee5da}, keywords = {dblp}, school = {Henri Poincaré University, Nancy, France}, timestamp = {2024-04-09T09:05:26.000+0200}, title = {Sécurité des protocoles cryptographiques : décidabilité et complexité.}, year = 2003 }