%0 Journal Article
%T Security Analysis of ARAN Routing Protocol for Ad hoc Networks<br>Ad hoc网络中ARAN路由协议的安全性分析
%A Yan Li-li Peng Dai-yuan
%A <br>闫丽丽
%A 彭代渊
%J 电子与信息学报
%D 2010
%I 
%X Because of the characteristics of Ad hoc networks, the theory of strand spaces can not analyzes the security of routing protocol. In this paper, the theory of strand spaces is first extended and the credibility of intermediate node is added. Subsequently, this extended theory is applied to analyzing the security of ARAN routing protocol and a new formal analysis method is proposed for Ad hoc networks routing protocol. The results show that it has replay attacks and conspiracy attacks in ARAN routing protocol. The method is proved to be valid.
%K Ad hoc network
%K Routing protocol
%K Strand spaces
%K Formal analysis
%K Agreement property<br>Ad
%K hoc网络
%K 路由协议
%K 串空间
%K 形式化分析
%K 一致性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=1319827C0C74AAE8D654BEA21B7F54D3&jid=EFC0377B03BD8D0EF4BBB548AC5F739A&aid=2B12277D6C2C68DDEC3188D8E143959E&yid=140ECF96957D60B2&vid=9971A5E270697F23&iid=9CF7A0430CBB2DFD&sid=0919ABED4B23AD8B&eid=2C502C9A2A834A49&journal_id=1009-5896&journal_name=电子与信息学报&referenced_num=0&reference_num=7