Automatic proof of resistance of denial of service attacks in protocols
First,the applied PI calculus was extended from two aspects:attacker contexts and process expression,then from the view of protocol state,the protocols were modeled with the extended applied PI calculus and a automatic method of proof of resistance of denial of service attacks based on theorem proof...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Editorial Department of Journal on Communications
2012-03-01
|
| Series: | Tongxin xuebao |
| Subjects: | |
| Online Access: | http://www.joconline.com.cn/zh/article/doi/1000-436X(2012)03-0112-10/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1841539894166421504 |
|---|---|
| author | Bo MENG Wei HUANG De-jun WAND Fei SHAO |
| author_facet | Bo MENG Wei HUANG De-jun WAND Fei SHAO |
| author_sort | Bo MENG |
| collection | DOAJ |
| description | First,the applied PI calculus was extended from two aspects:attacker contexts and process expression,then from the view of protocol state,the protocols were modeled with the extended applied PI calculus and a automatic method of proof of resistance of denial of service attacks based on theorem proof with first order theorem prover ProVerif was presented,finally resistance of denial of service attacks in JFK protocol and IEEE 802.11 four-way handshake protocol were analyzed.The results obtained are that JFK protocol is resistance of denial of service attack and IEEE 802.11 four-way handshake protocol is not.At the same time a new al of service attack in IEEE 802.11 four-way handshake protocol was found.The methods to prevent resistance of denial of service attacks in IEEE 802.11 four-way handshake protocol were proposed. |
| format | Article |
| id | doaj-art-1d8d8f35a07c4fb391b873bc85d6866d |
| institution | Kabale University |
| issn | 1000-436X |
| language | zho |
| publishDate | 2012-03-01 |
| publisher | Editorial Department of Journal on Communications |
| record_format | Article |
| series | Tongxin xuebao |
| spelling | doaj-art-1d8d8f35a07c4fb391b873bc85d6866d2025-01-14T06:31:27ZzhoEditorial Department of Journal on CommunicationsTongxin xuebao1000-436X2012-03-013311212159660844Automatic proof of resistance of denial of service attacks in protocolsBo MENGWei HUANGDe-jun WANDFei SHAOFirst,the applied PI calculus was extended from two aspects:attacker contexts and process expression,then from the view of protocol state,the protocols were modeled with the extended applied PI calculus and a automatic method of proof of resistance of denial of service attacks based on theorem proof with first order theorem prover ProVerif was presented,finally resistance of denial of service attacks in JFK protocol and IEEE 802.11 four-way handshake protocol were analyzed.The results obtained are that JFK protocol is resistance of denial of service attack and IEEE 802.11 four-way handshake protocol is not.At the same time a new al of service attack in IEEE 802.11 four-way handshake protocol was found.The methods to prevent resistance of denial of service attacks in IEEE 802.11 four-way handshake protocol were proposed.http://www.joconline.com.cn/zh/article/doi/1000-436X(2012)03-0112-10/denial of service attacksformal methodautomatic proofprotocol state |
| spellingShingle | Bo MENG Wei HUANG De-jun WAND Fei SHAO Automatic proof of resistance of denial of service attacks in protocols Tongxin xuebao denial of service attacks formal method automatic proof protocol state |
| title | Automatic proof of resistance of denial of service attacks in protocols |
| title_full | Automatic proof of resistance of denial of service attacks in protocols |
| title_fullStr | Automatic proof of resistance of denial of service attacks in protocols |
| title_full_unstemmed | Automatic proof of resistance of denial of service attacks in protocols |
| title_short | Automatic proof of resistance of denial of service attacks in protocols |
| title_sort | automatic proof of resistance of denial of service attacks in protocols |
| topic | denial of service attacks formal method automatic proof protocol state |
| url | http://www.joconline.com.cn/zh/article/doi/1000-436X(2012)03-0112-10/ |
| work_keys_str_mv | AT bomeng automaticproofofresistanceofdenialofserviceattacksinprotocols AT weihuang automaticproofofresistanceofdenialofserviceattacksinprotocols AT dejunwand automaticproofofresistanceofdenialofserviceattacksinprotocols AT feishao automaticproofofresistanceofdenialofserviceattacksinprotocols |