Security policy verification in grid systems.

Artem S. Konoplev, Maxim O. Kalinin

Browse the full SIN paper archive.