Visible to the public Rule-Based Static Analysis of Network Protocol