Type safety

• Each piece of memory has a type

• Type system must work for security to work

  • type safety is the cornerstone of Java security
  • guarantee that a program can’t treat pointers as integers and vice versa

• Java uses static type checking to ensure this

• Because the type system is complicated, it is error prone

Note: type safety is NOT security

Previous slide

Next slide

Back to first slide

View graphic version