Polubelova O, Kotenko I. Verification of security policy filtering rules with temporal parameters by Model Checking. SP [Internet]. 1Sep.2012 [cited 1Jun.2024];3(22):113-38. Available from: http://www.proceedings.spiiras.nw.ru/index.php/sp/article/view/1617