5 research outputs found
Tennessee Highway Safety Office FFY2018 Highway Safety Plan
https://digitalcommons.memphis.edu/govpubs-tn-safety-homeland-security-highway-safety-office/1009/thumbnail.jp
On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks
Telephony Denial of Service (TDoS) attacks target telephony services, such as
Voice over IP (VoIP), not allowing legitimate users to make calls. There are
few defenses that attempt to mitigate TDoS attacks, most of them using IP
filtering, with limited applicability. In our previous work, we proposed to use
selective strategies for mitigating HTTP Application-Layer DDoS Attacks
demonstrating their effectiveness in mitigating different types of attacks.
Developing such types of defenses is challenging as there are many design
options, eg, which dropping functions and selection algorithms to use. Our
first contribution is to demonstrate both experimentally and by using formal
verification that selective strategies are suitable for mitigating TDoS
attacks. We used our formal model to help decide which selective strategies to
use with much less effort than carrying out experiments. Our second
contribution is a detailed comparison of the results obtained from our formal
models and the results obtained by carrying out experiments. We demonstrate
that formal methods is a powerful tool for specifying defenses for mitigating
Distributed Denial of Service attacks allowing to increase our confidence on
the proposed defense before actual implementation
Making sense of mixtures : chromatographic separations of plant, insect and microbial biomolecules.
Thesis (Ph.D.)-University of Natal, Pietermaritzburg, 1996.No abstract available