DMCA

Provably Correct Runtime Enforcement of Non-Interference Properties

by V. N. Venkatakrishnan , Wei Xu , Daniel C. DuVarney , R. Sekar
Citations:27 - 2 self