车载自组织网络(VANET)是智能交通系统的一个新方向,其核心是利用汽车及路边传感器对重要安全信息进行采集并及时报告给驾驶人;同时自动判断是否存在安全隐患并在必要时发出预警。VANET系统的应用将会极大提高汽车行驶的安全性并将事故防患于未然。对VANET的研究与应用已经在世界各国得到广泛的开展,也必将在国内拥有很好的应用前景。而在VANET系统的设计与构建之前,一个重要环节是对其安全性进行详尽而有效的风险评估。本项目便是以攻击树为主要研究方法,试图揭示VANET安全系统潜在的弱点和面临的威胁;刻画各种攻击路径,找出其内在逻辑关系并对其进行定性、定量的风险评估。从而对VANET系统的实际建设、安全设计和决策提供有力的理论支持作用。
vanet;attack tree;security;attack-defense game;BDD
本项目研究团队针对以车载网络、容迟/容断网络、认知无线电网络等新型无线网络中的安全与隐私保护问题,研究其内在的安全与隐私漏洞。研究团队利用系统科学的研究工具(如,概率统计、基于BDD的排序,博弈论等),并结合计算机安全的研究成果(如,密码学)进行学术交叉,从而对新型网络环境下的安全及隐私保护问题进行刻画,对其攻击与防护的成本进行量化,并研究其攻击者与防护者所应采取的最优策略,并最终从系统的角度研究如何从经济的角度提高系统安全性。在新型网络安全分析方面我们研究了车载网络、容迟/容断网络、认知无线电网络等新型网络的安全与隐私问题,我们的研究成果发表/被接收在SCI期刊《IEEE Wireless Communications》 (影响因子2.575), 以及领域内知名国际会议IEEE ICC'10、ICC'11、IEEE GLOBECOM'12、IEEE ICC'12、 WASA'12。在基于攻击树与博弈论的安全与防护建模方面通过从攻击者与防护者的角度研究车载网络中的安全与隐私的代价,并建立相应的博弈模型,并讨论在各种不同条件下的攻击与防护策略,其研究成果发表/被被接收在SCI期刊《Peer-to-Peer Networking and Applications》(影响因子0.229)、《管理科学与工程国际会议》 (ICMSE’10)、《计算机应用研究》, 《哈尔滨商业大学学报》, 《哈尔滨商业大学学报》。