Provably secure programming languages for remote evaluation
- 1 December 1996
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
- Vol. 28 (4es) , 176
- https://doi.org/10.1145/242224.242453
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Higher-order distributed objectsACM Transactions on Programming Languages and Systems, 1995
- Remote evaluationACM Transactions on Programming Languages and Systems, 1990
- The specification and modeling of computer securityComputer, 1990
- Specifications for Multi-Level Security and a Hook-UpPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1987
- Security Policies and Security ModelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1982