Protection in programming-language translations

  • Martín Abadi
Conference paper

DOI: 10.1007/BFb0055109

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1443)
Cite this paper as:
Abadi M. (1998) Protection in programming-language translations. In: Larsen K.G., Skyum S., Winskel G. (eds) Automata, Languages and Programming. ICALP 1998. Lecture Notes in Computer Science, vol 1443. Springer, Berlin, Heidelberg


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1998

Authors and Affiliations

  • Martín Abadi
    • 1
  1. 1.Systems Research CenterDigital Equipment CorporationUK

Personalised recommendations