基本介紹
- 中文名：RFID安全協定形式化模型研究
- 項目類別 ：聯合基金項目
- 依託單位 ：河南工業大學
- 項目負責人：鄧淼磊
科研成果,項目摘要,
科研成果
序號 | 標題 | 類型 | 作者 |
|---|---|---|---|
1 | 基於重構順序調整機制的理性秘密共享方案 | 期刊論文 | 劉海|李興華|馬建峰| |
2 | 基於時間區間時序邏輯的實時系統統一模型檢測 | 期刊論文 | 朱維軍|喬芃喆|周清雷|張海賓| |
3 | TDMA-Based Control Channel Access for IEEE 802.11p in VANETs | 期刊論文 | Yang, Weidong|Liu, Wei|Li, Pan|Sun, Limin| |
4 | 一種雲環境下基於身份的統一身份認證方案研究 | 期刊論文 | 劉團奇|張浩軍|趙志鵬| |
5 | 以DNA為載體的LTL邏輯模型檢測方法 | 期刊論文 | 朱維軍|周清雷|李永亮| |
6 | 一種改進的RFID高效認證協定 | 期刊論文 | 張瑾瑾|張浩軍| |
7 | A Hybrid Algorithm Combining Ant Colony Algorithm and Genetic Algorithm | 期刊論文 | Chen-Yang Zhao|Jun- Ling Wang|Jie Qin|Wen-Qiang Zhang| |
8 | 基於HMM和信息熵的網路安全態勢評估方法 | 期刊論文 | 潘恆|李景峰|鄭秋生| |
9 | DCEEMR: A delay-constrained energy efficient multicast routing algorithm in cognitive radio ad hoc networks. | 期刊論文 | Xuna Miao|Miaolei Deng| |
10 | 物理不可克隆函式在RFID認證中的套用 | 期刊論文 | 張瑾瑾|張浩軍| |
11 | 多伺服器架構下基於混沌映射的認證密鑰協商協定 | 期刊論文 | 潘恆|鄭秋生| |
12 | 基於dna計算的線性時序邏輯模型檢測方法 | 期刊論文 | 朱維軍|周清雷|張欽憲| |
13 | Similarity Analysis in Social Networks Based on Collaborative Filtering | 期刊論文 | Yingchun Hou|Hui Xie|Jianfeng Ma| |
14 | Universally Composable Attribute-based Group Key Exchange | 期刊論文 | Hui Xie|Yongjie Yan|Sihui Shu| |
項目摘要
採用形式化方法才能全面、客觀地分析射頻識別（RFID）安全協定，但是現有成熟的安全協定形式化模型不能準確地描述RFID系統安全協定。本項目主要研究適用於物聯網環境下RFID系統安全協定設計與分析的形式化模型。通過分析物聯網環境下RFID系統的環境特徵,建立RFID系統的通信模型以及RFID協定攻擊者的能力模型。進而針對RFID系統環境，分別對符號理論類的串空間框架和計算理論類的通用可組合安全框架進行改進和擴展，使其能夠準確描述RFID安全協定。在RFID系統環境下，融合串空間模型和通用可組合模型兩種理論，各取所長，提出RFID安全協定形式化模型——RSSUC模型。該模型很好地綜合了串空間模型和通用可組合模型的優點，可以為高效、可靠的物聯網環境下RFID安全協定的設計和分析提供比較完整和系統的理論支持。
