Automated Legal Compliance Checking by Security Policy Analysis.

Silvio Ranise, Hari Siswantoro

Browse the full SAFECOMP paper archive.