Quantitative Analysis of DoS Attacks and Client Puzzles in IoT Systems

摘要: Denial of Service (DoS) attacks constitute a major security threat to today’s Internet. This challenge is especially pertinent the Internet Things (IoT) as devices have less computing power, memory and mechanisms mitigate DoS attacks. paper presents model that mimics unique characteristics network IoT devices, including components system implementing ‘Crypto Puzzles’ - mitigation technique. We created an imitation attack on system, conducted quantitative analysis simulate impact such may potentially exert upon assessing trade off between throughput in system. this through stochastic checking PRISM provide evidence supports valuable method compare efficiency different implementations systems, exemplified by case study.