Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures