Provably-Secure Programming Languages for Remote Evaluation.

Dennis M. Volpano

Published in: ACM SIGPLAN Notices (1997)

Keyphrases

programming language
provably secure
object oriented
software engineering
denotational semantics
strongly typed
general purpose
security model
high level
lambda calculus
programming language constructs
abstract data types
key management
database languages
database systems
databases
partially blind signature scheme