Igor Kotenko, Olga Polubelova. Verification of security policy filtering rules by Model Checking. In IEEE 6th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, IDAACS 2011, Prague, Czech Republic, September 15-17, 2011, Volume 2. pages 706-710, IEEE, 2011. [doi]
Abstract is missing.