%0 Journal Article %T 需求装载代码协议的安全缺陷分析 %A 夏正友? %A 蒋嶷川? %A 钟亦平? %A 张世永? %J 软件学报 %P 1175-1181 %D 2005 %X 使用spi演算对主动网络的需求装载代码协议进行分析,发现其存在被重放攻击的安全漏洞.由于主动网络是计算-存储-转发模型,不同于传统网络的存储-转发模型,所以这种被重放攻击的安全缺陷将对主动节点产生难以预测的后果,并减低其性能和效率.为了消除被重放攻击的危险,修改了原有需求装载代码协议,并增加了其阻止重放攻击的能力. %K 主动网络 %K 需求装载代码协议 %K spi演算 %K 重放攻击 %U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20050617&flag=1