Protection in programming languages

@article{Morris1973ProtectionIP,
  title={Protection in programming languages},
  author={J. Morris},
  journal={Commun. ACM},
  year={1973},
  volume={16},
  pages={15-21}
}
  • J. Morris
  • Published 1973
  • Computer Science
  • Commun. ACM
  • Linguistic mechanisms which can be used to protect one subprogram from another's malfunctioning are described. Function-producing functions and various type-tagging schemes are considered. An attempt is made to distinguish between access limitation and authentication. 
    186 Citations

    Topics from this paper

    Persistent First Class Procedures are Enough
    • 17
    Protection in Programming-Language Translations
    • M. Abadi
    • Computer Science
    • Secure Internet Programming
    • 1999
    • 35
    Protection in Programming-Language Translations
    • 161
    • PDF
    A Case for Language-Based Protection
    • 23
    • PDF
    Authentication primitives and their compilation
    • 74
    • PDF
    On a new approach to representation independent data classes
    • R. Tennent
    • Mathematics, Computer Science
    • Acta Informatica
    • 2004
    Abstraction Techniques in Modern Programming Languages
    • M. Shaw
    • Computer Science
    • IEEE Software
    • 1984
    • 145
    • PDF
    Procedures as persistent data objects
    • 114
    • Highly Influenced
    Analyzing security protocols with secrecy types and logic programs
    • 111
    • PDF