B.C.) ICSE Workshop on Software Engineering for Secure Systems (2009 Vancouver