Automatic detection of DoS vulnerabilities of cryptographic protocols

Urszula Krawczyk, Piotr Sapiecha

Abstract


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.

Full Text:

PDF


DOI: http://dx.doi.org/10.2478/v10065-012-0028-9
Date of publication: 2012-01-01 00:00:00
Date of submission: 2016-04-28 09:08:32


Statistics


Total abstract view - 417
Downloads (from 2020-06-17) - PDF - 0

Indicators



Refbacks

  • There are currently no refbacks.


Copyright (c) 2015 Annales UMCS Sectio AI Informatica

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.