Un Approccio Algebrico Probabilistico all'Analisi di Proprietà di Sicurezza di Sistemi Crittografici