CIS 6614 Lecture -*- Outline -*- for introduction

	meetings 1-2
* taint-analysis
   taint analysis described with examples

* information-flow
   information flow and type checking

        meeting 3
* detection-prevention
       Andrilla, a system for detecting and preventing SQL inj and XSS attacks