Verification of UML-Based Security Policy Model.

Sachoun Park, Gihwon Kwon

Browse the full ICCSA paper archive.