|
1. |
Dynamic Dependency Monitoring to Secure Information Flow
Shroff, P.; Smith, S.; Thober, M.;
Computer Security Foundations Symposium, 2007. CSF '07. 20th IEEE
6-8 July 2007
Page(s):203
-
217
Abstract:
Although static systems for information flow security are well-studied, few works address run-time information flow monitoring. Run-time information flow control offers distinct advantages in precision and in the ability to support dynamically defined policies. To this end, we here develop a new run-time information flow system based on the runtime tracking of indirect dependencies between program points. Our system tracks both direct and indirect information flows, and noninterference results are proved.
|