| 本文已被：浏览 4699次 下载 5934次 |
码上扫一扫！ |
|
|
| 需求装载代码协议的安全缺陷分析 |
|
夏正友1, 蒋嶷川2, 钟亦平3, 张世永3
|
|
1.南京航空航天大学,计算机科学系,江苏,南京,210016;2.香港浸会大学计算机科学系,香港;3.复旦大学,计算信息技术系,上海,200433
|
|
| 摘要: |
| 使用SPI演算对主动网络的需求装载代码协议进行分析,发现其存在被重放攻击的安全漏洞.由于主动网络是计算-存储-转发模型,不同于传统网络的存储-转发模型,所以这种被重放攻击的安全缺陷将对主动节点产生难以预测的后果,并减低其性能和效率.为了消除被重放攻击的危险,修改了原有需求装载代码协议,并增加了其阻止重放攻击的能力. |
| 关键词: 主动网络 需求装载代码协议 SPI演算 重放攻击 |
| DOI： |
| 分类号: |
| 基金项目: |
|
| Analysis for Security Flaw in Demand Loading Code Protocol |
|
XIA Zheng-You,JIANG Yi-Chuan,ZHONG Yi-Ping,ZHANG Shi-Yong
|
| Abstract: |
| In this paper, the authors use SPI calculus to analyze the demand loading code protocol of active network. The security flaw of being replay attack in this protocol is found. Model of active network is different from the tradition network. Since the model of active network is compute-storage-forward, and the model of tradition network is storage-forward. The replay attack would make the unexpected result for active network and letdown the performance and efficiency of active node. In order to prevent the replay attack, the authors amend the protocol and enhance the capacity for preventing replay attack. |
| Key words: active network demand loading code protocol SPI calculus replay attack |
