A rigorous approach to determining objects
- 30 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Trusted products evaluationCommunications of the ACM, 1992
- Shared resource matrix methodologyACM Transactions on Computer Systems, 1983
- Protection in operating systemsCommunications of the ACM, 1976