Text this: Foundations of security analysis and design V :