Static enforcement of security with types
- 1 September 2000
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 35 (9) , 34-45
- https://doi.org/10.1145/351240.351244
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- A type system for expressive security policiesPublished by Association for Computing Machinery (ACM) ,2000
- Typed memory management in a calculus of capabilitiesPublished by Association for Computing Machinery (ACM) ,1999
- The SLam calculusPublished by Association for Computing Machinery (ACM) ,1998
- Security properties of typed appletsPublished by Association for Computing Machinery (ACM) ,1998
- Safe kernel extensions without run-time checkingPublished by Association for Computing Machinery (ACM) ,1996
- Type Inference for Recursively Constrained Types and its Application to OOPElectronic Notes in Theoretical Computer Science, 1995
- Type inclusion constraints and type inferencePublished by Association for Computing Machinery (ACM) ,1993
- Recursion in Higher Types*Published by Elsevier ,1977
- A lattice model of secure information flowCommunications of the ACM, 1976