Meriam Ben Ghorbel, Mehdi Talbi, Mohamed Mejri. Specification and Detection of TCP/IP Based Attacks Using the ADM-Logic. In Proceedings of the The Second International Conference on Availability, Reliability and Security, ARES 2007, The International Dependability Conference - Bridging Theory and Practice, April 10-13 2007, Vienna, Austria. pages 206-212, IEEE Computer Society, 2007. [doi]
Abstract is missing.