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]
@inproceedings{KotenkoP11, title = {Verification of security policy filtering rules by Model Checking}, author = {Igor Kotenko and Olga Polubelova}, year = {2011}, doi = {10.1109/IDAACS.2011.6072862}, url = {http://dx.doi.org/10.1109/IDAACS.2011.6072862}, researchr = {https://researchr.org/publication/KotenkoP11}, cites = {0}, citedby = {0}, pages = {706-710}, booktitle = {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}, publisher = {IEEE}, isbn = {978-1-4577-1426-9}, }