Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese. Types as Specifications of Access Policies. In Jan Vitek, Christian Damsgaard Jensen, editors, Secure Internet Programming, Security Issues for Mobile and Distributed Objects. Volume 1603 of Lecture Notes in Computer Science, pages 118-146, Springer, 1999.
@inproceedings{NicolaFP99,
title = {Types as Specifications of Access Policies},
author = {Rocco De Nicola and Gian Luigi Ferrari and Rosario Pugliese},
year = {1999},
researchr = {https://researchr.org/publication/NicolaFP99},
cites = {0},
citedby = {0},
pages = {118-146},
booktitle = {Secure Internet Programming, Security Issues for Mobile and Distributed Objects},
editor = {Jan Vitek and Christian Damsgaard Jensen},
volume = {1603},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-66130-1},
}