área de pesquisa Marcelo Alves Ribeiro Méthodes formelles pour la vérification probabiliste de propriétés de sécurité de protocoles cryptographiques
