Security Analysis of TCP/IP Networks - An Approach to Automatic Analysis of Network Security Properties

Miroslav Svéda, Ondrej Rysavy, Petr Matousek, Jaroslav Ráb, Rudolf Cejka. Security Analysis of TCP/IP Networks - An Approach to Automatic Analysis of Network Security Properties. In José Luis Sevillano, Mohammad S. Obaidat, Petros Nicopolitidis, editors, DCNET 2010 & OPTICS 2010 - Proceedings of the International Conference on Data Communication Networking and International Conference on Optical Communication Systems, Athens, Greece, July 26 - 28, 2010, DCNET & OPTICS are parts of ICETE - The Inte. pages 5-11, SciTePress, 2010.

Abstract

Abstract is missing.