Preuves de protocoles cryptographiques : méthodes symboliques et attaquants puissants

Charlie Jacomme