@InProceedings{vigna03:hypergraphs,
  author = 	 {Giovanni Vigna},
  title = 	 {{A Topological Characterization of TCP/IP Security}},
  booktitle =	 {Proceedings of the International Symposium of Formal Methods Europe (FME)},
  year =	 2003,
  series =	 {LNCS},
  number =	 {2805},
  address =	 {Pisa, Italy},
  pages =	 {914--940},
  month =	 {September},
  publisher =	 {Springer-Verlag}
}