Olga Chervatuk
Igor V. Kotenko
Artem Tishkov
Olga Chervatuk
Ekaterina Sidelnikova
Security Policy Verification Tool for Geographical Information Systems.
128-146
2007
IF&GIS
https://doi.org/10.1007/978-3-540-37629-3_9
conf/ifgis/2007
db/conf/ifgis/ifgis2007.html#KotenkoTCS07
Igor V. Kotenko
Olga Chervatuk
Ekaterina Sidelnikova
Artem Tishkov
Hybrid Multi-module Security Policy Verification.
277
2007
conf/policy/2007
POLICY
https://doi.org/10.1109/POLICY.2007.25
https://doi.ieeecomputersociety.org/10.1109/POLICY.2007.25
db/conf/policy/policy2007.html#KotenkoCST07
Igor V. Kotenko
Ekaterina Sidelnikova
Artem Tishkov