Secure information flow and pointer con .nement in a java-like language
- 25 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 10636900,p. 239
- https://doi.org/10.1109/csfw.2002.1021820
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- Probabilistic noninterference for multi-threaded programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Simple Ownership Types for Object ContainmentPublished by Springer Nature ,2001
- Capabilities for SharingPublished by Springer Nature ,2001
- Featherweight JavaACM Transactions on Programming Languages and Systems, 2001
- JFlowPublished by Association for Computing Machinery (ACM) ,1999
- A core calculus of dependencyPublished by Association for Computing Machinery (ACM) ,1999
- Making the future safe for the pastPublished by Association for Computing Machinery (ACM) ,1998
- IslandsPublished by Association for Computing Machinery (ACM) ,1991
- Certification of programs for secure information flowCommunications of the ACM, 1977
- A lattice model of secure information flowCommunications of the ACM, 1976