e-book Foundations of Security Analysis and Design II