Text this: Foundations of security analysis and design II :