Chapter

Automata, Languages and Programming

Volume 1443 of the series Lecture Notes in Computer Science pp 868-883

Date:

Protection in programming-language translations

  • Martín AbadiAffiliated withSystems Research Center, Digital Equipment Corporation

* Final gross prices may vary according to local VAT.

Get Access

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.