現有的基于身份的一輪認證密鑰協(xié)商方案沒能實現強的完美前向性.采用強不可偽造的簽名算法對臨時公鑰進行簽名,提出一種改進的基于身份認證密鑰協(xié)商方案.首先,對Boneh和Boyen提出的強不可偽造的短簽名方案進行改造,提出一種強不可偽造的基于身份簽名方案;然后,將新簽名方案與Ni等人提出的eCK安全的基于身份一輪認證密鑰協(xié)商方案相結合,提出新的密鑰協(xié)商方案.進一步,為了實現新方案的可證明安全性,在對比分析eCK-PFS模型和eCK模型的基礎上,融合現有安全模型,定義了基于身份認證密鑰協(xié)商方案分析的強安全模型ID-eCK-PFS.在ID-eCK-PFS模型下,通過安全性規(guī)約,證明了新提出的基于身份認證密鑰協(xié)商方案實現了強安全性,包括抗密鑰泄露偽裝、抗臨時秘密泄露和完美前向安全性等. 

【文章來源】：密碼學報. 2020,7(01)CSCD

【文章頁數】：13 頁

【文章目錄】：
1 引言
2 背景知識
    2.1 困難數學問題與假設
    2.2 ID-AKA協(xié)議及其安全模型
        2.2.1 ID-AKA協(xié)議定義
        2.2.2 ID-AKA協(xié)議安全模型定義
        2.2.3 eCK-PFS模型與eCK模型前向安全性比較
3 完美前向安全的ID-AKA方案
    3.1 強不可偽造的基于身份簽名
        3.1.1 ID-BBS方案安全性分析
    3.2 完美前向安全的ID-AKA方案
4 分析與比較
    4.1 eN-ID-AKA方案安全性分析
    4.2 協(xié)議對比分析
5 結束語


【參考文獻】：
期刊論文
[1]強安全的匿名隱式漫游認證與密鑰協(xié)商方案[J]. 陳明.  計算機研究與發(fā)展. 2017(12)
[2]標準模型下可托管的基于身份認證密鑰協(xié)商[J]. 陳明.  電子學報. 2015(10)
[3]高效的標準模型下基于身份認證密鑰協(xié)商協(xié)議[J]. 高志剛,馮登國.  軟件學報. 2011(05)
[4]標準模型下基于身份的認證密鑰協(xié)商協(xié)議[J]. 任勇軍,王建東,王箭,徐大專,莊毅.  計算機研究與發(fā)展. 2010(09)
[5]標準模型下可證安全的身份基認證密鑰協(xié)商協(xié)議[J]. 王圣寶,曹珍富,董曉蕾.  計算機學報. 2007(10)



本文編號：3151695