Provably-secure programming languages for remote evaluation
- 1 January 1997
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 32 (1) , 117-119
- https://doi.org/10.1145/251595.254091
Abstract
Remote evaluation and dynamically-extensible systems pose serious safety and security risks. Programming language design has a major role in overcoming some of these risks. Important research areas include designing suitable languages for remote evaluation, identifying appropriate security and safety properties for them, and developing provably-sound logics for reasoning about the properties in the context of separate compilation and dynamic linking.Keywords
This publication has 0 references indexed in Scilit: