Dynamic Dependency Monitoring to Secure Information Flow
Paritosh Shroff, Scott F. Smith, Mark Thober · Proceedings - Computer Security Foundations Workshop/Proceedings · 2007
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.