paper on language translations and security
Subject: paper on language translations and security
Date: Sat, 09 May 98 14:35:03 -0700
Delivery-Date: Sat, 09 May 1998 16:35:07 -0500
The following paper on languages and security is available from URL
Protection in Programming-Language Translations
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.
Although the paper is not primarily about types, parts of it might
interest some readers of this list.