文章基本信息

标题：Automated Proof of Resistance of Denial of Service Attacks Using Event with Theorem Prover
本地全文：下载
作者：Meng, Bo ; Huang, Wei ; Li, Zimao 等
期刊名称：Journal of Computers
印刷版ISSN：1796-203X
出版年度：2013
卷号：8
期号：7
页码：1728-1741
DOI：10.4304/jcp.8.7.1728-1741
语种：English
出版社：Academy Publisher
摘要：The huge damage of denial of service attacks in security protocols attracts researchers’ attention and effort to analysis, verification and prevention of denial of service attacks. In order to model resistance of denial of service attacks, firstly, we extend applied pi calculus from both adversary context and processes aspects; secondly, the first computer-aided method of resistance of denial of service attacks based on event is proposed from the angle of state in security protocols by us; finally, the analysis using ProVerif indicates that JFK protocol is against of denial of service attacks but IEEE 802.11 i four-way handshake protocol is not, and simultaneously, a new denial of service attack is firstly detected, together with methods to prevent it in IEEE 802.11 i four-way handshake protocol.
关键词：Automatic Verification;Event;Symbolic Model;Availability