@inproceedings{ias05,
  title={Formalisation and implementation
of Access control models},
  author={M. Jaume and C. Morisset},
  booktitle={Information Assurance and Security ({IAS'05})
International Conference on Information Technology, 
{ITCC}},
  year="2005",
  pages="703--708",
  publisher="{IEEE CS Press}"
}