Security Policy Verification Tool for Geographical Information Systems. - Igor V. Kotenko; Artem Tishkov; Olga Chervatuk; Ekaterina Sidelnikova (IF&GIS, 2007)

Hybrid Multi-module Security Policy Verification. - Igor V. Kotenko; Olga Chervatuk; Ekaterina Sidelnikova; Artem Tishkov (POLICY, 2007)