Programming Languages and Analysis for Security Workshop (2006 Ottawa, Ontario, Canada)