Can you summarize the following document?
        
  拉賓出生於德國佈雷斯勞(二戰後成為波蘭弗羅茨瓦夫),父親是一個拉比。  1953年,他獲得希伯來大學的理學碩士,1956年獲普林斯頓大學博士學位。  1959年,拉賓和達納·斯科特共同發表了“有限自動機與其判定性問題”(英語:"Finite Automata and Their Decision Problems")的論文,提出了非確定自動機的觀點。他們也因此獲得了1976年的圖靈獎,並做“計算機複雜性”(英語:Complexity of Computations)的演講。圖靈獎的引文是: 非確定自動機已經成為計算複雜度理論中的一個重要概念,特別是在描述P與NP問題的複雜度類時。  1969年,拉賓證明N successors的二階邏輯是可判定的。證明的關鍵部分暗示了奇偶遊戲的確定性。1975年,拉賓發明了米勒-拉賓檢驗,這是一個相當快速的隨機化演算法(有較小的可能性錯誤),用於判斷一個大數是否是素數。 快速素數檢驗是目前大部分公鑰密碼體系的關鍵。1979年,拉賓發明了第一個非對稱密碼系統——拉賓密碼系統。它的安全性被證明和整數因式分解的複雜度相同。1981年,拉賓提出了不經意傳輸技術。 1987年,拉賓和理查德·卡普提出了一個著名的字串搜尋演算法——拉賓-卡普演算法。
邁克爾·O·拉賓(英語:Michael Oser Rabin,1931年-9月1日 )是一名以色列電腦科學家,1976年圖靈獎得主。