SE547: Overview: Topics of Interest: Current Techniques [9/20]

• Java security
  • class loaders, security managers, security policies for Java
  • stack inspection: what is it? How does it work? What kind of security does it really provide?
• Program analysis and security
  • model checkers: how to analyze one million lines of code for security flaws!
  • language designs: CQual, Vault