論文摘要
為保障系統內車輛與車輛以及車輛與基礎設施的無線通信安全,根據車聯網特點,在不借助可信第三方的情況下,引入物理不可克隆函數,提出一種輕量級雙向認證協議。利用GNY邏輯進行形式化分析,并通過安全性分析和效率分析,證明該協議在有效保護隱私的情況下完成雙向認證,且能夠抵抗克隆、竊聽、重放、中間人等攻擊,滿足車聯網的安全需求。效率及安全性分析結果表明,與同類協議相比,該協議具有較高的安全性和認證效率。
論文目錄
文章來源
類型: 期刊論文
作者: 劉博雅,張悅,楊亞濤,孫亞飛
關鍵詞: 車聯網,輕量級,雙向認證協議,物理不可克隆函數,邏輯
來源: 計算機工程 2019年02期
年度: 2019
分類: 信息科技,工程科技Ⅱ輯
專業: 公路與水路運輸,計算機軟件及計算機應用
單位: 北京電子科技學院研究生部,西安電子科技大學通信工程學院
基金: 國家自然科學基金(61370188),“十三五”國家密碼發展基金(MMJJ20170110),中央高?；究蒲袠I務費專項資金(2017XK01)
分類號: U495
DOI: 10.19678/j.issn.1000-3428.0049344
頁碼: 38-41+52
總頁數: 5
文件大小: 268K
下載量: 262
相關論文文獻
標簽：車聯網論文; 輕量級論文; 雙向認證協議論文; 物理不可克隆函數論文; 邏輯論文;