Specification Method for Analyzing Fine Grained Network Security Mechanism Configurations (Short Paper)