Towards an efficient and language-agnostic compliance checker for trust negotiation systems.

Adam J. Lee, Marianne Winslett

Browse the full CCS paper archive.