Effective verification of confidentiality for multi-threaded programs. Ngo, T. M., Stoelinga, M., & Huisman, M. Journal of Computer Security, 22(2):269-300, 2014.
Effective verification of confidentiality for multi-threaded programs. [link]Link  Effective verification of confidentiality for multi-threaded programs. [link]Paper  bibtex   
@article{journals/jcs/NgoSH14,
  added-at = {2014-03-19T00:00:00.000+0100},
  author = {Ngo, Tri Minh and Stoelinga, Mariëlle and Huisman, Marieke},
  biburl = {https://www.bibsonomy.org/bibtex/2d4ba15f92e83e8071b97db26bf94f937/dblp},
  ee = {http://dx.doi.org/10.3233/JCS-130492},
  interhash = {434fead1ca2194c39b4fcee976993e75},
  intrahash = {d4ba15f92e83e8071b97db26bf94f937},
  journal = {Journal of Computer Security},
  keywords = {dblp},
  number = 2,
  pages = {269-300},
  timestamp = {2015-06-18T06:22:30.000+0200},
  title = {Effective verification of confidentiality for multi-threaded programs.},
  url = {http://dblp.uni-trier.de/db/journals/jcs/jcs22.html#NgoSH14},
  volume = 22,
  year = 2014
}

Downloads: 0