En rapport avec le sujet du cours

Comment prouver la sécurité des protocoles cryptographiques ?