認證和密鑰分配協(xié)議的可證明安全研究.pdf

1、可證明安全是一種證明密碼學方案安全性的形式化方法，它將密碼學方案的安全性規(guī)約為公認的計算難題，并已成為現(xiàn)代密碼學領域中理論工作的主線。本文主要研究密鑰分配協(xié)議的可證明安全，這包括它們的各種形式化安全定義以及達到這些安全性定義的方案構造。并且研究這些模型在設計和分析現(xiàn)實中的一些密鑰管理方案方面的具體應用。本文得到的主要結果如下： 1.對當前主流的分析密鑰分配協(xié)議的可證明安全的隨機預言機模型方法進行分析總結，并討論其在設計和證明密鑰

2、分配協(xié)議安全性方面的密碼學用途。 2.對中國無線局域網國家標準WAPl中用戶身份鑒別和密鑰管理方案進行分析，發(fā)現(xiàn)其存在的兩個安全缺陷，改進后得到一個可證明安全的身份鑒別和密鑰管理方案。 3.針對無線傳感器網絡存在的一系列安全問題，基于CK模型，形式化地提出一種快速、高效且適用于大規(guī)模傳感器網絡的密鑰管理方案。 4.填補SIP描述中缺乏具體安全機制的空白，提出一種基于挑戰(zhàn)一應答的SIP安全機制，實現(xiàn)了消息的雙向認證