Runtime Enforcement With Partial Control

Raphaël Khoury, Sylvain Hallé

This study carries forward the line of enquiry that seeks to characterize precisely which security policies are enforceable by runtime monitors. In this regard, Basin et al.\ recen…