Formalizing XML access control for update operations.

Irini Fundulaki, Sebastian Maneth

Browse the full SACMAT paper archive.