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.
CITATION STYLE
Abadi, M. (1999). Protection in programming-language translations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1603, pp. 19–34). Springer Verlag. https://doi.org/10.1007/3-540-48749-2_2
Mendeley helps you to discover research relevant for your work.