Automatic proof of resistance of denial of service attacks in protocols
Papers|更新时间:2024-06-05
|
Automatic proof of resistance of denial of service attacks in protocols
Journal on CommunicationsVol. 33, Issue 3, Pages: 112-121(2012)
作者机构:
中南民族大学 计算机科学学院,湖北 武汉 430074
作者简介:
基金信息:
The Foundation of State Ethnic Affairs Commission of China(10ZN09);The National Natural Science Foundation of China(60603008);The Natural Science Foundation of South-Center University for Nationalities(YZZ09008);The Technology Innovation Foundation of SME in Wuhan(SZY11008)
Bo MENG, Wei HUANG, De-jun WAND, et al. Automatic proof of resistance of denial of service attacks in protocols[J]. Journal on Communications, 2012, 33(3): 112-121.
DOI:
Bo MENG, Wei HUANG, De-jun WAND, et al. Automatic proof of resistance of denial of service attacks in protocols[J]. Journal on Communications, 2012, 33(3): 112-121. DOI: 1000-436X(2012)03-0112-10.
Automatic proof of resistance of denial of service attacks in protocols