Chin-Tser Huang, Mohamed G. Gouda

Hop Integrity in the Internet

• Gebundenes Buch

Produktbeschreibung

Denial-of-service attacks are one of the most severe challenges confronting the online world. This ground-breaking volume discusses a new method of countering denial-of-service attacks called hop integrity. It details a suite of protocols for providing hop integrity. In particular, each protocol in this suite is specified and verified using an abstract and formal notation, called the Secure Protocol Notation. In addition, the book presents an alternative way to achieve strong hop integrity with hard sequence numbers.

---

Hop Integrity in the Internet introduces a new security defense, hop integrity, that can be used against denial-of-service attacks in the Internet. If a message that is part of a denial-of-service attack is originated by an adversarial host in the Internet and if the message header includes a wrong address for the originating host (in order to hide the true source of the attack), then the message will be classified as modified or replayed and will be discarded by the first router that receives the message in the Internet.

A suite of protocols for providing hop integrity in the Internet is discussed in great detail. In particular, each protocol in the suite is specified and verified using an abstract and formal notation called the Secure Protocol Notation. The protocols include:

- Secure address resolution

- Weak hop integrity

- Strong hop integrity using soft sequence numbers

- Strong hop integrity using hard sequence numbers

Other benefits of hop integrity extend to secure routing, mobile IP, and IP multicast.

Produktdetails

• Advances in Information Security 21
• Verlag: Springer / Springer US / Springer, Berlin
• Artikelnr. des Verlages: 978-0-387-24426-6
• 2006
• Seitenzahl: 128
• Erscheinungstermin: 17. November 2005
• Englisch
• Abmessung: 241mm x 160mm x 12mm
• Gewicht: 340g
• ISBN-13: 9780387244266
• ISBN-10: 0387244263
• Artikelnr.: 15088964

Autorenporträt

Mohamed G. Gouda, PhD, is the Mike A. Meyers Centennial Professor in Computing Science at the University of Texas at Austin and a leading researcher in distributed and concurrent computing. His research interests include abstraction, nondeterminism, atomicity, convergence, stability, formality, correctness, and efficiency.

Inhaltsangabe

Abstract Protocol Notation.- Abstract Secure Protocols.- Denial-of-Service Attacks.- Secure Address Resolution Protocol.- Weak Hop Integrity Protocol.- Strong Hop Integrity Using Soft Sequence Numbers.- Strong Hop Integrity Using Hard Sequence Numbers.- Implementation Considerations.- Other Uses of Hop Integrity.