Une comparaison entre deux méthodes de preuve de sécurité.