Foundations of Security Analysis and Design V