Deepak D Souza, Raveendra Holla, K. R. Raghavendra, Barbara Sprick. Model-checking trace-based information flow properties. Journal of Computer Security, 19(1):101-138, 2011. [doi]
@article{DSouzaHRS11,
title = {Model-checking trace-based information flow properties},
author = {Deepak D Souza and Raveendra Holla and K. R. Raghavendra and Barbara Sprick},
year = {2011},
doi = {10.3233/JCS-2010-0400},
url = {http://dx.doi.org/10.3233/JCS-2010-0400},
tags = {rule-based, model checking, meta-model, data-flow, information models, Meta-Environment},
researchr = {https://researchr.org/publication/DSouzaHRS11},
cites = {0},
citedby = {0},
journal = {Journal of Computer Security},
volume = {19},
number = {1},
pages = {101-138},
}