@article{dsouza:2011, author = {Deepak D'Souza and Raveendra Holla and K. R. Raghavendra and Barbara Sprick}, title = {Model-checking trace-based information flow properties}, journal = {Journal of Computer Security}, volume = 19, year = 2011, number = 1, pages = {101--138}, doi = {10.3233/JCS-2010-0400}, url = "http://iospress.metapress.com/content/PL417KN276034602", publisher = {IOS Press}, }