Safety and Security

• The Abstract-Machine Level

  • memory protection

• The Programming Language Level

  • typing, restricted pointers, automatic memory management
  • scope and access rules
  • compilation and type-checking before shipping
    • trust of author, or compiler
    • use of intermediate language

Previous slide

Next slide

Back to first slide

View graphic version