Text this: Foundations of Security Analysis and Design II