@article{JM06,
	author = {Jaume M. and Morisset C.},
	journal = {Journal of Information Assurance and Security},
	month = {June},
	pages = {137--148},
	title = {A formal approach to implement access control},
	volume = {2},
	year = {2006}
}