Do Anti-Spam Measures Effectively Cover the E-Mail Communication Network? A Formal Approach