Provably Secure Programming Languages for Remote Evaluation.
Dennis M. VolpanoPublished in: ACM Comput. Surv. (1996)
Keyphrases
- programming language
- provably secure
- general purpose
- object oriented
- software engineering
- strongly typed
- high level
- denotational semantics
- lambda calculus
- database languages
- low cost
- blind signature scheme
- public key
- programming language constructs
- abstract data types
- security model
- hash functions
- query language
- relational databases
- data structure