SRC Research Report 154

Protection in Programming-Language Translations

Martin Abadi

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.

Back to the SRC Research Reports main page.

• PostScript compressed with UNIX compress -- 440 Kbytes
  
• PostScript compressed with GNU compress (gzip) -- 424 Kbytes
  
• PostScript compressed with ZIP -- 432 Kbytes
  
• PostScript -- 792 Kbytes
  
• Portable Document Format (PDF) -- 160 Kbytes