In this article the subject of DoS vulnerabilities of cryptographic key establishment and authentication protocols is discussed. The system for computer-aided DoS protocol resistance analysis, which employs the Petri nets formalism and Spin model-checker, is presented.
W artykule została przedstawiona koncepcja wykorzystania metody uczenia ze wzmocnieniem w sieciach SDN, w kontekście ochrony przed atakami odmowy usługi. Ponadto została przedstawiona metodyka realizacji testowania zaproponowanego systemu bezpieczeństwa. Artykuł zawiera również analizę wyników, zebranych przy wykorzystaniu opracowanego emulatora modułu uczącego.
EN
The article presents the concept of using reinforced learning methods in SDN networks in the context of protection against denial of service attacks. Also, the methodology for testing the proposed security system has been presented. The article also contains an analysis of the results collected using the developed emulator of the learning module.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.