Dynamic Dependency Monitoring to Secure Information Flow

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.

• Type: Conference
• Year: 2007
• Where: CSFW
• Authors: Paritosh Shroff, Scott F. Smith, Mark Thober
• Keywords: CSFW 2007, Information flow Security, Information flows, Run-time Information, Security Privacy