Security Pattern Lattice: A Formal Model to Organize Security Patterns | IEEE Conference Publication | IEEE Xplore