Riferimenti bibliografici

Transcript

1 Riferimenti bibliografici 1. Agrawal M., Kayal N., Saxena N., PRIMES is in P, Ann. Math. 160 (2004), AdIeman L. M., Huang M. D., Primality testing and two dimensionai Abelian varieties over finite fieids, Lecture Notes in Mathematics 1512, Springer (1992). 3. AdIeman L. M., Pomerance C., RumeIy R. S., On Distinguishing Prime Numbers from Composite Number, Ann. Math. 117 (1983), Alford W. R., Granville A., Pomerance C., There are InfiniteIy Many Carmichael Numbers, Ann. Math. 139 (1994), Apostol T., Introduction to Analytic Number Theory, Springer (1986). 6. Bauer F. L., Decrypted Secrets: Methods and Maxims of Cryptology, Springer (2000). 7. Berstein D., Detecting Perfect Powers in Essentially Linear Time, Math. Comp. 67 (1998), Bernstein D., Proving PrimaIity after Agrawal-Kayal-Saxena, preprint 9. Bernstein D., Proving Primality in Essentially Quartic Random Time, preprint lo. Berrizbeitia P., Sharpening "Primes Is in P" for a Large Family of Numbers, preprint Boneh D., Twenty Years of Attacks on the RSA Cryptosystem, Notices Amer. Mat. Soc. 46 (1999), Boneh D., Venkatesan R., Breaking RSA may not be Equivalent to Factoring, Proc. Eurocrypt 1998, Lecture Notes in Comp. Sci. 1233, Springer (1998), Bovet D. P., Crescenzi P., Teoria della Complessità Computazionale, Franco Angeli (1991). 14. Carmichael R. D., Note on a Number Theory Function, Bull. Amer. Math. Soc. 16 (1910), Cassels J. W. S., Lectures on Elliptic Curves, Cambridge University Press (1997). 16. Childs L., Algebra, un'introduzione Concreta, ETS (1989). 17. Chor B., Rivest R. L., A Knapsack Type Cryptosystem Based on Arithmetic in Finite FieIds, IEEE Trans. Inform. Theory 34 (1988), Cohen H., Lenstra A. K., Primality Testing and Jacobi Sums, Math. Computo 42 (1984),

2 172 Riferimenti bibliografici 19. Crandall R., Pomerance C., Prime Numbers: A Computational Perspective, Springer (2005). 20. Devlin K., I problemi del Millennio, Longanesi, (2004). 21. Diffie W., Hellman M., New Directions in Cryptography, IEEE Trans. InEorm. Soc. 22 (1976), Dickson L. E., History oe the Theory oe Numbers, Chelsea (1952). 23. Doxiadis A., Zio Petros e la Congettura di Goldbach, Bompiani (2004). 24. Du Sautoy M., L'enigma dei numeri primi, Rizzoli (2004). 25. Edwards H., Riemann's Zeta Function, Academic Press (1974). 26. EIGamal T., A Public Key Cryptosystem and Signature Scheme based on Discrete Logarithms, IEEE Trans. InEorm. Theory IT-31 (1985), Ferragina P., Luccio F., Crittografia: Principi, Algoritmi, Applicazioni, Bollati Boringhieri (2001). 28. Fouvry E., Théorème de Brun-Titchmarshj Application au Théorème de Fermat, Invent. Math. 79 (1985), Fulton W., Algebraic Curves, Benjamin (1969). 30. Garey M., Johnson D., Computers and Intractability: A guide to the Theory oe Completeness, Freeman (1979). 31. Goldwasser S., Kilian J., Almost All Primes can be Quickly Certified, Proc. 18th Ann. ACM Symp. on the Theory oe Computing (1986), Goldwasser S., Micali S., Probabilistic Encryption and How to Play Mental Poker keeping Secret all Partial Information, Proc. 14th Annual ACM Symp. on Theory oe Computing (1982), Granville A., It Is Easy to Determine Whether a Given Integer Is Prime, Bull. Amer. Math. Soc. 42 (2005), Hardy G. H., Wright E. M., An Introduction to the Theory oe Numbers, Oxford University Press (1979). 35. Merkle R., Hellman M., Hiding Information and Signature in Trap-door Knapsacks, IEEE Trans. InEorm. Theory IT-24 (1978), Herstein I., Algebra, Editori Riuniti, (1994). 37. Koblitz N., Introduction to Elliptic Curves and Modular Forms, Springer (1993). 38. Koblitz N., A Course in Number Theory and Cryptography, Springer (1994). 39. Krizek M., Luca F., Somer L., 17 Lectures on Fermat Numbers: From Number Theory to Geometry, Springer (2001). 40. Lenstra A. K., Factoring, Lecture Notes in Comp. Sci. 857, Springer (1994), Lenstra H. W. Jr., Factoring Integers with Elliptic Curves, Ann. Math. 126 (1987), Lenstra H. W. Jr., Pomerance C., Primality Testing with Gaussian Periods, preprint (2005). 43. Lewis H. R., Papadimitriou C. H., Elements oe the Theory oe Computation, Prentice-Hall (1981). 44. Lidi R., Niederreiter H., Introduction to Finite Fields and their Applications, Cambridge University Press (1986). 45. Leonesi S., Toffalori C., Un Invito all'algebra, Springer Massey J. L., Logarithms in Finite Cyclic Groups-Cryptographic Issues, Proc. 4th Benelux Symp. on InEorm. Theory (1983), Menezes A., Elliptic Curve Public Key Cryptosystems, Kluwer (1993). 48. Menezes A., van Oorschot P., Vanstone S., Handbook oe Applied Cryptography, CRC Press (1996).

3 Riferimenti bibliografici Miller G., Riemann's Hypothesis and Tests for Primality, J. Comp. System Sci. 13 (1976), Montgomery P., Silverman R., An FFT extension to the p-l factoring algorithm, Math. Comp. 54 (1990), Papadimitriou C. H., Computational Complexity, Addison-Wesley (1994). 52. Pollard J. M., Theorems of Factorization and Primality Testing, Proc. Cambridge Philosophical Soc. 76 (1974), Pollard J. M., Monte Carlo Method for Factorization, BIT 15 (1975), Pratt V., Every Prime has a Succinct Certificate, SIAM J. Computo 4 (1975), Rabin M. O., Probabilistic Algorithm for Testing Primality, J. Number Theory 12 (1980), Riesel H., Prime Numbers and Computer Methods for Factorization, Birkhauser (1994). 57. Ribenboim P., The New Book of Prime Number Records, Springer (1996). 58. Ribenboim P., 13 Lectures on Fermat's Last theorem, Springer (1979). 59. Ribenboim P., Fermat's Last theorem for Amateurs, Springer (1999). 60. Rivest R., Cryptography, in [72]. 61. Rose H., A Course in Number Theory, Clarendon Press (1988). 62. Rivest R. L., Shamir A., Adleman L. M., A Method for Obtaining Digitai Signatures and Public-Key Cryptosystems, Comm. ACM 21 (1978), Salomaa A., Public-Key Cryptography, Springer (1996). 64. Shamir A., A Polynomial-time Algorithm for Breaking the basic Merkle-Hellman Cryptosystem, IEEE 'IÌ'ans. Inform. Theory 30 (1984), Shor P., Algorithms for Quantum Computation: Discrete Logarithms and Factoring, Proc. 35th Annual Symp. Found. Comp. Sci. (1994), Shor P., Polynomial-time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer, SIAM Rewiew 41 (1999), Silverman J. H., The Arithmetic of Elliptic Curves I, II, Springer (1986), (1994). 68. Singh S., Codici e Segreti, Rizzoli (1999). 69. Sipser M., Introduction to the Theory of Computation, Thomson Course Technology (2005). 70. Solovay R., Strassen V., A Fast Monte-Carlo Test for Primality, SIAM J. Computo 6 (1977), Toffalori C., Corradini F., Leonesi S., Mancini S., Teoria della Computabilità e della Complessità, McGraw-Hill (2005). 72. Van Leeuwen J., Handbook of Theoretical Computer Science, voi A: Algorithms and Complexity, Eisevier (1990).

4 Indice analitico AKS, 92,114 GIMPS, 46 NP, 22, 101 0,83 Op, 138 P,22 P=NP, 19 RSA, 24,151 UP,24 =,51 1>, 60 1l"(x), 39 ( di Riemann, 39 an,52 F q,64 ZN,52 Adleman, 93, 151 Agrawal, 92, 114 Alberti,2 Alford,97 algoritmo, 20 di Lenstra, 138 di primalità AKS, 116 di Miller-Rabin, 107 di Solovay-Strassen, 106 di tipo Las Vegas, 93 di tipo Montecarlo, 93 efficiente, 21 euclideo delle divisioni successive, 28 probabilistico, 93 quantistico, 94 rapido, 21 analisi di frequenza, 2 Bézout, identità, 29 Bernstein, 93, 117, 122 Berrizbeitia, 93, 122 Bertrand, 39 Biswas,114 Boneh, 153, 156 campo finito, 64 Carmichael pseudoprimo, 96 Cesare, 2 Chebyshev, 39 Cheng, 122 chiave di codifica, 4 privata, 143 pubblica, 143 chiave di decodifica, 4 chiavi indipendenti, 18 Chor, 151 cifrare, 4 cifrario di Vernam, 14 Cobham,21 Cohen,93 Cole, 101 congettura di Fermat, 43 di Gauss, 39 di Goldbach, 48 di Hardy e Littlewood, 47 congruenza modulo N,51 Cook, 21 Coppersmith, 157

5 176 Indice analitico criptare, 4 criptosistema, 4, 5, 15, 144 RSA, 151 di Diffie-Hellman, 144 di ElGamal, 148 di Massey-Omura, 147 per curve ellittiche, 158 di Merkle-Hellman, 150 crittoanalisi, 5 crittografia, 4 a chiave pubblica, 17, 143 e curve ellittiche, 157 crivello di Eratostene, 42 curva ellittica, 82 De La Vallée-Poussin, 40 decifrare, 4 decriptare, 4 Diffie-Hellman, criptosistema, 144 digrafo, 7 divisibile, 27 doppio lucchetto, 147 Durfree, 156 Edmonds,21 ElGamal, criptosistema, 148 Ente Certificatore, 160 Eratostene, 42 Eulero, 45, 46, 70 pseudoprimo, 103 fattorizzazione alla Fermat, 132 problema, 127 Fermat congettura, 43 numero di, 42 piccolo teorema, 59 ultimo teorema, 48 Findley,46 firma digitale, 159 Fouvry,118 Franklin, 157 funzione di Eulero, 39, 60 di Riemann, 39 hash, 160 impronta, 160 Gauss, 39, 44 legge di reciprocità quadratica, 73, 76 Germain,47 Goldbach, 44, 48 Goldwasser, 94, 164, 167 Granville, 97, 118 Hadamard, 40 Hardy,40 Hasse, 88 Hastad,157 Hellman, 144, 150 Huang,93 identità di Bézout, 29 ipotesi di Riemann, 40, 110 Ishaq-al-Kindi, 2 Karp, 21 Kayal, 92, 114 Kilian,94 Kocher, 157 Kronecker, 47 legge di reciprocità quadratica di Gauss, 73,76 Lehmer,99 Lenstra, 93, 124 algoritmo, 138 logaritmo discreto, 68, 88, 145 Lucas, 45, 98 macchina di Turing, 20 Massey-Omura, cripto sistema, 147 massimo comune divisore, 28 Merkle, 150 Merkle-Hellman criptosistema, 150 Mersenne, numero di, 45 metodo p, 129 metodo p - 1, 128 Micali, 164, 167 Miller-Rabin algoritmo di primalità, 107 minimo comune multiplo, 30 minimo resto assoluto, 134 multiplo, 27 Nowack, 46 numero

6 Indice analitico 177 perfetto, 46 primo, 33 pseudocasuale, 154 Omura, 147 Pepin, 44 piccolo teorema di Fermat, 59 poker telefonico, 165 Pollard metodo p, 129 metodo p-i, 128 Pomerance, 93, 97, 124 potenza modulo N,58 perfetta, 116 primi gemelli, 38 primo, 33 di Fermat, 42 di Germain, 47 di Mersenne, 45 problema N P-completo, 24 del logaritmo discreto, 88 della fattorizzazione, 41, 127 della primalità, 41, 91 dello zaino, 148 supercrescente, 149 problemi del millennio, 19 protocollo a conoscenza zero, 161 di Goldwasser-Micali, 167 pseudocasuale, numero, 154 pseudoprimo, 96 di Carmichael, 96 di Eulero, 103 forte, 108 punto all'infinito, 83 quadrato modulo N,53 quantistico, algoritmo, 94 quoziente, 27 Rabin, 21, 107 radice modulo N,53 Reiter, 157 residuo quadratico modulo p, 69 resto, 27 Riemann,39 ipotesi, 40 Rivest, 151 Rumely,93 Sarrus,95 Saxena, 92, 114 Shafer,46 Shamir, 151 Shor, 94 simbolo di Jacobi, 74 di Legendre, 70 Slowinski, 45 smartcard, 157 Solovay-Strassen algoritmo di primalità, 106 supercrescente, sequenza, 149 Sylow, 105 teorema dei numeri primi, 40 del quoziente e del resto, 27 di Bernstein-Berrizbeitia, 123 di Lagrange, 64 di Lenstra-Pomerance, 124 di Sylow, 105 fondamentale dell' Aritmetica, 34 tesi di Edmonds-Cook-Karp, 21 Thring,20 testa o croce telefonico, 162 Turing, 3, 20 macchina, 20 ultimo teorema di Fermat, 48 Venkatesan, 153 Vernam, cifrario, 14 Von Neumann, 21 Weil,47 Wiles,49 Wilson, 94

7 Springer - Collana Unitext a cura di Franco Brezzi Ciro Ciliberto Bruno Codenotti Mario Pulvirenti Alfio Quarteroni Volumi pubblicati A. Bernasconi, B. Codenotti Introduzione alla complessità computazionale 1998, X+260 pp. ISBN A. Bernasconi, B. Codenotti, G. Resta Metodi matematici in complessità computazionale 1999, X+364 pp, ISBN E. Salinelli, F. Tomarelli Modelli dinamici discreti 2002, XII+354 pp, ISBN A. Quarteroni Modellistica numerica per problemi differenziali (2a Ed.) 2003, XII pp, ISBN (la edizione 2000, ISBN ) S. Bosch Algebra 2003, VIII+380 pp, ISBN S. Graffi, M. Degli Esposti Fisica matematica discreta 2003, X+248 pp, ISBN S. Margarita, E. Salinelli MultiMath - Matematica Multimediale per l'università 2004, XX+270 pp, ISBN

8 A. Quarteroni, R. Sacco, F. Saleri Matematica numerica (2a Ed.) 2000, XIV +448 pp, ISBN ,2004 ristampa riveduta e corretta (la edizione 1998, ISBN ) A partire dal 2004, i volumi della serie sono contrassegnati da un numero di identificazione 13. A. Quarteroni, F. Saleri Introduzione al Calcolo Scientifico (2a Ed.) 2004, X pp, ISBN (la edizione 2002, ISBN ) 14. S. Salsa Equazioni a derivate parziali - Metodi, modelli e applicazioni 2004, XII +426 pp, ISBN G. Riccardi Calcolo differenziale ed integrale 2004, XII pp, ISBN M.lmpedovo Matematica generale con il calcolatore 2005, X +526 pp, ISBN L. Formaggia, F. Saleri, A. Veneziani Applicazioni ed esercizi di modellistica numerica per problemi differenziali 2005, VIII pp, ISBN S. Salsa, G. Verzini Equazioni a derivate parziali - Complementi ed esercizi 2005, VIII +406 pp, ISBN C. Canuto, A. Tabacco Analisi Matematica I (2a Ed.) 2005, XII+448 pp, ISBN (la edizione, 2003, XII+376 pp, ISBN ) 20. F. Biagini, M. Campanino Elementi di Probabilità e Statistica 2006, XII pp, ISBN X 21. S. Leonesi, C. Toffalori Numeri e Crittografia 2006, VIII pp, ISBN