A Formal Framework and Evaluation Method for Network Denial of Service

  title={A Formal Framework and Evaluation Method for Network Denial of Service},
  author={Catherine A. Meadows},
Denial of service is becoming a growing concern. As our systems communicate more and more with others that we know less and less, they become increasingly vulnerable to hostile intruders who may take advantage of the very protocols intended for the establishment and authentication of communication to tie up our resources and disable our servers. Since these attacks occur before parties are authenticated to each other, we cannot rely upon enforcement of the appropriate access control policy to… CONTINUE READING
Highly Cited
This paper has 212 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 130 extracted citations

213 Citations

Citations per Year
Semantic Scholar estimates that this publication has 213 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 22 references

CAPSL: Common Authentication Protocol Speci cation Language

  • Jonathan K. Millen
  • Technical Report MP 97B48, The MITRE Corporation,
  • 1997
2 Excerpts

Similar Papers

Loading similar papers…