BibTex format
@inproceedings{Fournet:2007,
author = {Fournet, C and Gordon, AD and Maffeis, S},
pages = {25--25},
title = {A type discipline for authorization policies - art. no. 25},
year = {2007}
}
Faculty of Engineering, Department of Computing
Senior Lecturer441Huxley BuildingSouth Kensington Campus