Catherine Meadows - Naval Research Laboratory
Students: Spring 2025, unless noted otherwise, sessions will be virtual on Zoom.
A Formal Framework and Evaluation Method for Protocol Denial of Service
Oct 08, 1999
Abstract
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 protect us. Instead we must build our defenses, as much as possible, into the protocols themselves. This talk shows how some principles that have already been used to make protocols more resistant to denial of service can be formalized, and indicates the ways in which existing cryptographic protocol analysis tools could be modified to operate within this framework.About the Speaker

Ways to Watch
