@Article{	  ar:DSouzaHollaRaghavendraSprick,
  author	= {Deepak D'Souza and Ravindra Holla and Raghavendra KR and
		  Barbara Sprick},
  title		= {{Model Checking Trace Based Information Flow Properties}},
  journal	= {Journal of Computer Security (JCS)},
  year		= 2011,
  pages		= {101--138},
  volume	= 19,
  number	= 1,
  publisher	= {IOS Press}
}