Skip to main content
Conference Proceedings

Protection in programming-langiiage translations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1998) 1443 LNCS 868-883
DOI: 10.1007/bfb0055109
70Citations
Citations of this article
16Readers
Mendeley users who have this article in their library.
Get full text

Abstract

We discuss abstractions for protection and the correctness of their implementations. Relying on the concept of full abstraction, we consider two examples: (1) the translation of Java classes to an intermediate bytecode language, and (2) in the setting of the pi calculus, the implementation of private channels in terms of cryptographic operations.

Cite

CITATION STYLE

APA

Abadi, M. (1998). Protection in programming-langiiage translations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1443 LNCS, pp. 868–883). Springer Verlag. https://doi.org/10.1007/bfb0055109

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free