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