Polubelova, O. and Kotenko, I. 2012. Verification of security policy filtering rules with temporal parameters by Model Checking. SPIIRAS Proceedings. 3, 22 (Sep. 2012), 113-138. DOI:https://doi.org/10.15622/sp.22.7.