Security Engineering with Patterns: Origins, Theoretical Models, and New Applications (Lecture Notes in Computer Science)