BibTeX
@TECHREPORT{Vigna96atopological,
author = {Giovanni Vigna},
title = {A Topological Characterization of TCP/IP Security},
institution = {},
year = {1996}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The TCP/IP protocol suite has been designed to provide a simple, open communication infrastructure in an academic collaborative environment. Little attention has been paid to security issues. Therefore, the TCP/IP protocols are not able to provide the authentication, integrity, and privacy mechanisms to protect communication in a hostile environment. To solve the security problem, several secure higher-level protocols have been designed and implemented on top of TCP/IP, and ad hoc techniques have been developed to protect enterprise networks from TCP/IP based attacks. Nonetheless, a formal approach to TCP/IP security is still lacking. This work presents a formal model of TCP/IP networks and describes some well-known attacks using the model. The formal topological characterization of TCP/IP security enables better understanding of the vulnerabilities and supports the design of tougher detection, protection and testing tools.
