David Walker. A Type System for Expressive Security Policies. In POPL. pages 254-267, 2000. [doi]
@inproceedings{Walker00, title = {A Type System for Expressive Security Policies}, author = {David Walker}, year = {2000}, doi = {10.1145/325694.325728}, url = {http://doi.acm.org/10.1145/325694.325728}, tags = {type system, security}, researchr = {https://researchr.org/publication/Walker00}, cites = {0}, citedby = {0}, pages = {254-267}, booktitle = {POPL}, }