Bøger af Mohamed G. Gouda

Focuses on the design of network protocols, which are used in the transfer of information from one computer system to another. A typical protocol will allow the computers to identify each other, include information about the time the data is sent, the rate at which information is sent, and an error checking capability.

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.