@inproceedings{chollet20080708_12,
	title = {{Security specifcation at process level}}, 
	author = {Chollet, Stéphanie and Lalanda, Philippe}, 
	booktitle = {SCC '08: Proceedings of the 2008 IEEE International Conference on Services Computing}, 
	pages = {165--172},
	year = {2008},
	month = {July},
	publisher = {IEEE Computer Society},
	isbn = {978-0-7695-3283-7-01},
	doi = {http://dx.doi.org/10.1109/SCC.2008.51},
	address = {Washington, DC, USA}
}