Automatic detection of DoS vulnerabilities of cryptographic protocols
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:
PDFDOI: 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 - 542
Downloads (from 2020-06-17) - PDF - 0
Indicators
Refbacks
- There are currently no refbacks.
Copyright (c) 2015 Annales UMCS Sectio AI Informatica
This work is licensed under a Creative Commons Attribution 4.0 International License.