A resource allocation model for denial of service
- 2 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 137-147
- https://doi.org/10.1109/risp.1992.213265
Abstract
A denial-of-service protection base (DPB) is characterized as a resource monitor closely related to a TCB, supporting a waiting-time policy for benign processes. Resource monitor algorithms and policies can be stated in the context of a state-transition model of a resource allocation system. Probabilistic waiting-time policies are suggested in addition to the finite- and maximum-waiting-time policies. The model supports concurrency, multiprocessing and networking. A simple example of a DPB is given, as a feasibility and consistency check on the definitions.Keywords
This publication has 1 reference indexed in Scilit:
- A specification and verification method for preventing denial of serviceIEEE Transactions on Software Engineering, 1990