@inproceedings{JM06b,
	Title ={Towards a formal specification of access control},
	Year = {2006},
	Booktitle = {Proceedings of the {LICS}-Affiliated Workshop on 
	Foundations of Computer Security and Automated Reasoning 
	for Security Protocol Analysis},
	Author = {M. Jaume and C. Morisset}}