logo
Коды и шифры

Глава 12

  1. .Формулировку теоремы о законе распределения простых чисел (без доказательства) см. книгу Харди и Райта [10.1], глава 1. Для этой теоремы не найдено простого доказательства. Она была сформулирована Гауссом в 1793 году, а доказана, независимо друг от друга, Адамаром и де Ла-Валле-Пуссэном только в 1896 году. Обычно доказательство основывается на применении теории комплексного переменного; его можно найти в книгах по аналитической теории чисел, например, в: Ingham,A.E.: The Distribution of Prime Numbers, Cambridge Tract Number 30 (переизд. Изд.-вом Hafner, 1971), или в: Estermann,T.: Introduction to Modern Prime Number Theory, Cambridge Tract Number 41, 1952.

  2. Metropolis,N., J.Howlett, G-C.Rota (eds.): A History of Computing in The Twentieth Century, Academic Press, New York, 1980. Прекрасный сборник статей более чем 30 авторов. Охватывает такие темы, как: вычислительные машины, языки программирования и персоналии из разных стран, в том числе из США, Великобритании, Германии, СССР и Японии.

  3. IBM Journal of Research and Development 25th Anniversary Issue, 25, 5 (September, 1981). Это подробное описание компьютеров, выпущенных фирмой IBM с 1950-х годов по 1980 год, и применявшихся в них технологий.

  4. Lavington,S.H.: A History of Manchester Computers, NCC Publications, Manchester, 1975. Описание компьютеров, созданных с 1946 по 1974 гг. совместно Манчестерским университетом, "Ferranti Ltd." и ICL.

  5. Churchhouse,R.F.: 'Experience with some early computers', Computing & Control Engineering Journal (April, 1993), 63-7. Рассказ о компьютерах, для которых автору приходилось составлять программы (модели Manchester Mark I, IBM 704, Univac 1103A) в 1950-х годах.

  6. Diffie,W., Hellman,M.E.: 'New directions in cryptography', Transactions of the IEEE on Information Theory, IT-22, №6, 644-54 (November 1976), см. также [13.1].

  7. Davies,D.W., Price,W.L.: Security for Computer Networks, John Wiley & Sons, Chichester, 1984. В главе 8 рассмотрены различные аспекты криптографии с открытым ключом.

  8. Rabin,M.O.: Probabilistic algorithms', в кн.: Traub,J.F. (ed.): Algorithms and Complexity, Academic Press, New York, pp. 21-39, 1976.

  9. Solovay,R., Strassen,V.: 'A fast Monte Carlo test for primality', SIAM Journal of Computing, 6, 1977, pp. 84-5. Erratum: ibid, 7, 1978, p.118.