Now showing items 1-1 of 1

    • Information-Flow Security for Interactive Programs 

      O'Neill, Kevin R.; Clarkson, Michael R.; Chong, Stephen (Cornell University, 2006-04-17)
      Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about their information-flow security, yet no such ...