@article{82,
  keywords = {microkernels, research, security},
  author = {Ahmad Rehman and Augusto Oliveira and Mahesh Tripunitara and Sebastian Fischmeister},
  title = {The use of mTags for mandatory security: a case study},
  year = {2014},
  journal = {Software: Practice and Experience},
  volume = {44},
  pages = {1511-1523},
  issn = {1097-024X},
  url = {http://dx.doi.org/10.1002/spe.2222},
  doi = {10.1002/spe.2222},
}