Lazy security controllers

摘要: Security controllers follow the execution of target systems to prevent security violations. In fact, by proactively observing target, they are able catch violations before occur and act consequently, such as interrupting execution. this paper we define a novel category called lazy controllers, conservative extension standard which routinely suspend observation for different time spans, in order reduce cost monitoring increase performance, at expense possibility missing violation.