BibTex format
@inproceedings{Fournet:2007:10.1109/CSF.2007.7,
author = {Fournet, C and Gordon, AD and Maffeis, S},
doi = {10.1109/CSF.2007.7},
pages = {31--45},
title = {A type discipline for authorization in distributed systems},
url = {http://dx.doi.org/10.1109/CSF.2007.7},
year = {2007}
}