The specification and compilation of obligation policies for program monitoring.

Cheng Xu, Philip W. L. Fong

Browse the full CCS paper archive.