A Topological Characterization of TCP/IP Security (2003)

by G Vigna
Venue:In Proceedings of the 12th International Symposium of Formal Methods Europe (FME ’03), number 2805 in LNCS