@inproceedings{Vigna2003A_Topological,
title = {{A Topological Characterization of TCP/IP Security}},
author = {Vigna, Giovanni},
booktitle = {Proceedings of the 12th International Symposium of Formal Methods Europe},
series = {FME},
month = {September},
year = {2003},
address = {Pisa, Italy},
pages = {914--940},
publisher = {Springer-Verlag}
}