Analisi e formalizzazione della non discriminazione e dell'anonimato