A Topological Characterization of TCP/IP Security

Authors

Giovanni Vigna

Venue

Proceedings of the 12th International Symposium of Formal Methods Europe (FME), September 2003

BibTeX

@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}
}