We discuss abstractions for protection and the correctness of their implementations. Relying on the concept of full abstraction, we consider several examples relevant to mobile object systems. The main example is the translation of Java classes to an intermediate bytecode language. Other examples are the implementation of procedures by closures and the implementation of private communication channels in terms of cryptographic operations.
CITATION STYLE
Abadi, M. (1998). Protection in programming-language translations: Mobile object systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1543, p. 291). Springer Verlag. https://doi.org/10.1007/3-540-49255-0_70
Mendeley helps you to discover research relevant for your work.