2007 | ||
---|---|---|
2 | EE | Igor V. Kotenko, Olga Chervatuk, Ekaterina Sidelnikova, Artem Tishkov: Hybrid Multi-module Security Policy Verification. POLICY 2007: 277 |
2005 | ||
1 | EE | Artem Tishkov, Igor V. Kotenko, Ekaterina Sidelnikova: Security Checker Architecture for Policy-Based Security Management. MMM-ACNS 2005: 460-465 |
1 | Olga Chervatuk | [2] |
2 | Igor V. Kotenko | [1] [2] |
3 | Artem Tishkov | [1] [2] |