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