Leslie Lamport
Więcej informacji
- Urodzony
- 1941
- Nagrody
- Nagroda Turinga (2013)
- Znany z
- podpisy Lamporta, problem bizantyjskich generałów, Paxos, LaTeX, TLA+
Filozof systemów rozproszonych, który mimochodem wynalazł dwie z najtrwalszych idei bezpieczeństwa.
Większość kojarzy Lamporta z zegarami logicznymi, Paxosem i LaTeX-em. Ale już w 1979 roku opisał, jak zbudować podpis cyfrowy wyłącznie z funkcji skrótu: publikuje się skróty losowych wartości, a przy podpisywaniu ujawnia połowę z nich. Podpis jest ogromny i nadaje się tylko do jednorazowego użytku, ale nie opiera się na żadnym założeniu z teorii liczb — i właśnie dlatego żyje dalej w dzisiejszych postkwantowych podpisach opartych na skrótach.
W 1981 roku pojawił się łańcuch skrótów haseł: skrót tajnego klucza liczy się sto razy, a wartości wykorzystuje w odwrotnej kolejności, tak że przechwyconego logowania nie da się odtworzyć. Z tego pomysłu wyrósł S/KEY, będący przodkiem haseł jednorazowych. Rok później, wraz z Shostakiem i Pease'em, sformułował problem bizantyjskich generałów.