Introduction to Security Analysis (Federation of University, 2005)