Securing information flow via dynamic capture of dependencies

  • Authors:

  • Paritosh Shroff;Scott F. Smith;Mark Thober

  • Affiliations:

  • (Correspd. Tel.: +1 410 516 6067/ Fax: +1 410 516 6134/ E-mail: pari@cs.jhu.edu) Department of Computer Science, The Johns Hopkins University, Baltimore, MD, USA;Department of Computer Science, The Johns Hopkins University, Baltimore, MD, USA;The Johns Hopkins University, Applied Physics Laboratory, Laurel, MD, USA

  • Venue:
  • Journal of Computer Security - 20th IEEE Computer Security Foundations Symposium (CSF)
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

Although static systems for information flow security are well studied, few works address runtime information flow monitoring. Runtime 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 runtime 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.