Safe and secure execution mechanisms for mobile objects
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 201-211
- https://doi.org/10.1007/3-540-62852-5_15
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Smart remote procedure calls: transparent treatment of remote pointersPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Proof-carrying codePublished by Association for Computing Machinery (ACM) ,1997
- Safe kernel extensions without run-time checkingPublished by Association for Computing Machinery (ACM) ,1996
- Efficient and language-independent mobile programsPublished by Association for Computing Machinery (ACM) ,1996
- An implementation method of migratable distributed objects using an RPC technique integrated with virtual memory managementPublished by Springer Nature ,1996
- Extensibility safety and performance in the SPIN operating systemPublished by Association for Computing Machinery (ACM) ,1995
- Semantics for communication primitives in a polymorphic languagePublished by Association for Computing Machinery (ACM) ,1993
- Efficient software-based fault isolationPublished by Association for Computing Machinery (ACM) ,1993
- Fine-grained mobility in the Emerald systemACM Transactions on Computer Systems, 1988
- Implementing remote procedure callsACM Transactions on Computer Systems, 1984